Home
Search
Index
Definify.com
Definition
2024
⊃
⊃
⊃
U+2283
,
&
#8835;
SUPERSET OF
←
⊂
[U+2282]
Mathematical Operators
⊄
→
[U+2284]
See also:
⊅
Translingual
Symbol
⊃
(
mathematics
)
Contains
as a
proper
subset
.
(
informal
,
mathematics
)
Contains as a subset
(
mathematics
)
material implication
; "implies", "if … then"
Synonyms
(
material implication
)
:
→
,
⇒
See also
⊂
⊆
⊇
Etymology
(
material implication
)
:
Adopted in
Principia Mathematica
, by Alfred North Whitehead and Bertrand Russell, as an adaptation of Peano's Ɔ.
Similar Results