Axiom of foundation
From Maths
Provisional page grade: A*
This page is provisional
This page is provisional and the information it contains may change before this notice is removed (in a backwards incompatible way). This usually means the content is from one source and that source isn't the most formal, or there are many other forms floating around. It is on a to-do list for being expanded.The message provided is:
Lots of work required!
Contents
[hide]Definition
- ∀S[S≠∅→∃x[x∈S∧S∩x=∅]][1]
- In words:
- i.e. every non-empty set has an ∈-minimal element
- In words: