This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list
for being expanded.The message provided is:
This page isn't important and wont be expanded upon without request or without anything that covers this definition. It exists only for completeness, and as an example of another meaning of hereditary
- Not to be confused with: Hereditary system of sets
An hereditary set is a set that contains only other sets.
- Caution:I do not know whether the sets contained in a set must also contain only sets or not - that is to say if this means a set can contain arbitrary sets, or if a set must contain other hereditary sets
This page requires references, it is on a to-do list
for being expanded with them.
Please note that this does not mean the content is unreliable, it just means that the author of the page doesn't have a book to hand, or remember the book to find it, which would have been a suitable reference.
The message provided is:
Check that "foundations of mathematics" book from the same series as the big hardcore [ilmath]\lambda[/ilmath]-calculus book