Formal Definition
A recursive definition of a hereditarily finite set goes as follows:
- Base case: The empty set is a hereditarily finite set.
- Recursion rule: If a1,...,ak are hereditarily finite, then so is {a1,...,ak}.
The set of all hereditarily finite sets is denoted Vω. If we denote P(S) for the power set of S, Vω can also be constructed by first taking the empty set written V0, then V1 = P(V0), V2 = P(V1),..., Vk = P(Vk−1),... Then
Read more about this topic: Hereditarily Finite Set
Famous quotes containing the words formal and/or definition:
“Two clergymen disputing whether ordination would be valid without the imposition of both hands, the more formal one said, “Do you think the Holy Dove could fly down with only one wing?””
—Horace Walpole (1717–1797)
“One definition of man is “an intelligence served by organs.””
—Ralph Waldo Emerson (1803–1882)