Assertion: set | /r/MadeOf | \(\in\)-minimal element
Facets:
Source sentences:
text: Foundation: Every non-empty set \(A\) contains an \(\in\)-minimal element, that is, an element such that no element of \(A\)