Four-family lepton mixing

We introduce a fourth family of heavy leptons and discuss the lepton mixing matrix. In the minimal case of three massless neutrino types, the lepton mixing matrix is parametrized by three real angles and no phases, and leads to electron, $\mu$, and $\tau$ number nonconservation which provides experimental limits on the three angles.