Remix.run Logo
smokel 10 hours ago

A ⊆ X ∧ p ∈ X ⇏ p ∈ A

piloto_ciego 9 hours ago | parent [-]

If you’re not a math major I can translate:

“if A is a subset of X and p is in X, that does not imply that p is in A”