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.