What is the meaning of ?

Contains as a proper subset.

Contains as a subset

material implication; "implies", "if … then"

Source: wiktionary.org