⊃

See also: ⊅

⊃ U+2283, ⊃ SUPERSET OF ← ⊂ [U+2282] Mathematical Operators ⊄ → [U+2284]

Translingual

Etymology

• (material implication): Adopted in Principia Mathematica, by Alfred North Whitehead and Bertrand Russell, as an adaptation of Peano's Ɔ.

Symbol

⊃

1. (mathematics) Contains as a proper subset.
2. (informal, mathematics) Contains as a subset.
3. (mathematics) A material implication; "implies", "if … then".

Synonyms

• (material implication): →, ⇒

See also

• ⊂
• ⊆
• ⊇