3 ms·Because S <: S in most (all?) type systems with subtyping.by gsg 9y agoBecause S <: S in most (all?) type systems with subtyping.jordigh 9y agoThen use \leq, like any other reflexive, antisymmetric, transitive relation.