The axiom of regularity is an axiom of Zermelo–Fraenkel set theory that states that every non-empty set A contains an element that is disjoint from A.
I'm sure I'm grossly misunderstanding this, but it doesn't seem to make any sense. Two disjoint sets do not have elements in common, correct? So this says a set contains an element that it is disjoint with. So wouldn't this mean that the set doesn't contain that element if it is disjoint with it? To me, this axiom seems to be saying "Every non-empty set contains an element that it doesn't contain." This obviously doesn't make sense, so I'm definitely misunderstanding at least one aspect of this axiom, but which part?