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

**Definition**: The statement ''(g1 SUBM g2)'' specifies that the collection/set ''g1'' is completely contained in, but is not identical to, the collection/set ''g2''. This relation is transitive, asymmetric, and not reflexive. The reflexive relation [[SUBME]] expressing set inclusion or equality is defined analogously to ''SUBM''.