⇒

→

⊃ 实质蕴涵 A ⇒ B 表示 A 真则 B 也真；A 假则 B 不定。

→ 可能和 ⇒ 一样, 或者有下面将提到的函数的意思。

⊃ 可能和 ⇒ 一样，或者有下面将提到的父集的意思。 x = 2 ⇒ x2 = 4 为真，但 x2 = 4 ⇒ x = 2 一般情况下为假（因为 x 可以是 −2）。