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