Den bringer tilstanden for systemet ved et tidspunkt til en ny tilstand ved et senere tidspunkt > . Herav følger at den må være unitær,