SUBME Subsumption of Sets (Set Inclusion)

Definition: The reflexive relation SUBME expressing set inclusion or equality is defined analogously to SUBM.