Non-well-founded set theory

Non-well-founded set theories (sometimes unhyphenated, as nonwellfounded; or poorly founded) are variants of axiomatic set theory that allow sets to be elements of themselves and otherwise violate the rule of well-foundedness. In non-well-founded set theories, the foundation axiom of ZFC is replaced by axioms implying its negation.