wenn F (A1,A2) + F (A2,A3) → F (A1,A3)
Peter ist größer als Hanna. Hanna ist größer als Helga. Peter ist größer als Helga.