[gsg]

Because S <: S in most (all?) type systems with subtyping.

[jordigh]

Then use \leq, like any other reflexive, antisymmetric, transitive relation.