Search
❯
Jun 05, 20261 min read
A Relation Class is well-founded if every nonempty set has an -minimal member: