reflexive … S → symmetric … S → Transitive … S →
∀G1,L1,T1. ≥𝐒 ❪G1,L1,T1❫ →
∀G2,L2,T2. ❪G1,L1,T1❫ ≛[S] ❪G2,L2,T2❫ → ≥𝐒 ❪G2,L2,T2❫.
reflexive … S → symmetric … S → Transitive … S →
∀G1,L1,T1. ≥𝐒 ❪G1,L1,T1❫ →
∀G2,L2,T2. ❪G1,L1,T1❫ ≛[S] ❪G2,L2,T2❫ → ≥𝐒 ❪G2,L2,T2❫.