I will focus my answer on the properties which are true for the finite measure spaces but not $\sigma$-finite ones.
Recall Egoroff's theorem:
Let $(X,\mathcal A,\mu)$ a finite measured space, and $\{f_n\}$ a sequence of measurable function from $X$ to $\mathbb R$ endowed with the Borel $\sigma$-algebra. If $f_n\to 0$ almost everywhere then for each $\varepsilon>0$ we can find $A_{\varepsilon}\in\mathcal A$ such that $\mu(X\setminus A_{\varepsilon})\leq\varepsilon$ and $\sup_{x\in A_{\varepsilon}}|f_n(x)|\to 0$.
It's not true anymore if $(X,\mathcal A,\mu)$ is not finite. For example, if $X=\mathbb R$, $\mathcal A=\mathcal B(\mathbb R)$ and $\mu=\lambda$ is the Lebesgue measure, taking $f_n(x)=\begin{cases}1&\mbox{ if }n\leq x\leq n+1,\\\
0&\mbox{otherwise},
\end{cases}$ we can see that $f_n\to 0$ almost everywhere, but if $A$ is such that $\lambda(\mathbb R\setminus A)\leq 1$, then $\mu(A)=+\infty$, hence $A\cap [n,n+1]$ has a positive measure for infinitely many $n$, say $n=n_k$, so $\sup_A|f_{n_k}|\geq \sup_{A\cap [n_k,n_k+1]}|f_{n_k}|=1$.
An explanation could be the following: if $(X,\mathcal A,\mu)$ is $\sigma$-finite, $\{A_n\}$ is a partition of $X$ into finite measure sets, and a sequence converges almost everywhere on $X$, then we have the convergence in measure on each $A_n$: for $k$ and for a fixed $\varepsilon>0$ we can find a $N(\varepsilon,k)\in\mathbb N$ such that $\mu(\{|f_n|\geq \varepsilon\}\cap A_k)\leq \varepsilon$ if $n\geq N(\varepsilon,k)$. The problem, as the counter-example show, is that this $N$ cannot be chosen independently of $k$.
An other result:
Let $(X,\mathcal A,\mu)$ a finite measured space, and $\{f_n\}$ a sequence which converges almost everywhere to $0$. Then $f_n\to 0$ in measure.
We can use the same counter-example as above.
Inclusions between $L^p$ space may change whether the measured space is finite. If $(X,\mathcal A,\mu)$ is a finite measured space, then for $1\leq p\leq q\leq \infty$ we have $L^q(X,\mathcal A,\mu)\subset L^p(X,\mathcal A,\mu)$, as Hölder's inequality shows. But with $X=\mathbb N$, $\mathcal A=2^{\mathbb N}$ and $\mu$ the counting measure, we have for $1\leq p\leq q\leq \infty$, $\ell^p\subset l^q$, so the inclusions are reversed.
The version on wikipedia is wrong (if it's exactly as you say; a link might have been appropriate). This is your chance to do a Good Thing by finding the Edit button and fixing it.
Counterexample with $\mu$ finite but $\nu$ not $\sigma$-finite: Let $X=\{0\}$. Define $\mu(X)=1$, $\nu(X)=\infty$.
That was easy. May as well mention that it's just as easy to give a counterexample with $\nu$ finite but $\mu$ not $\sigma$-finite: $X$ as above, $\mu(X)=\infty$, $\nu(X)=1$.
Best Answer
The full set of assumptions in Th.10 of Rudin are:
Recall that complex measures $\lambda$, by virtue of taking values on $\mathbb{C}$ are finite, and consequently they also have finite total variation $|\lambda(X)|\leq|\lambda|(X)<\infty$ (See page 16, and page 118 of your textbook).