====== SUBME Subsumption of Sets (Set Inclusion) ======

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