Set qualities

• Two non-empty sets A and B are coincident iff, for all elements 𝔁,

  both of the following are true:

  x ∈ A implies that x ∈ B

  x ∈ B implies that x ∈ A