Definition from Wiktionary, the free dictionary
See also: ⊅
- (material implication): Adopted in Principia Mathematica, by Alfred North Whitehead and Bertrand Russell, as an adaptation of Peano's Ɔ.
- (mathematics) Contains as a proper subset.
- (informal, mathematics) Contains as a subset
- (mathematics) material implication; "implies", "if … then"