گذرا همچنین شناخته شده با: متعدی برابر انگلیک (انگلیسی): transitive دیسهای (𝑥 ≼ 𝑦 𝑎𝑛𝑑 𝑦 ≼ 𝑧 ) ⇒ 𝑥 ≼ 𝑧(x ≼ y and y ≼ z ) ⇒ x ≼ z