Set Theory And Combinatorics

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Set Theory And Combinatorics.

• Finite set — A set equipotent with the natural numbers below some n, equivalently one whose elements can be completely counted and assigned a natural-number cardinality.