transitive
دیسه‌ای
(𝑥 ≼ 𝑦 𝑎𝑛𝑑 𝑦 ≼ 𝑧 ) ⇒ 𝑥 ≼ 𝑧
(x ≼ y and y ≼ z ) ⇒ x ≼ z


تاربرگ‌های پیموده‌شده در این نشست: Thoralf Skolem ⟩ Paul Richard Halmos