datatype:CT_FINITE
http://qudt.org/vocab/datatype/CT_FINITE
Types:
qudt:CardinalityType| Predicate | Object |
|---|---|
rdf:type |
qudt:CardinalityType |
dcterms:description |
Any set \(X\) with cardinality less than that of the natural numbers, or \[| X | \; < \; | \mathbb N | \] is said to be a finite set. |
dtype:literal |
“finite” |
rdfs:isDefinedBy |
http://qudt.org/3.4.0/vocab/datatype |
rdfs:label |
“Finite Cardinality Type” |
Generated 2026-06-25T12:40:39.187+00:00