cardinality
P23694
predicate
Indicates the number of distinct elements or members in a given set or collection.
All labels observed (8)
| Label | Occurrences |
|---|---|
| hasCardinality | 21 |
| cardinality canonical | 6 |
| cardinalityProperty | 4 |
| cardinalityOperators | 3 |
| cardinalityFormula | 2 |
| hasCardinalityProperty | 2 |
| cardinalityOfSequence | 1 |
| groundSetCardinality | 1 |
Sample triples (40)
| Subject | Object |
|---|---|
| Unicode Scalar Values | 1112064 ⓘ |
| Conway groups | 3 via predicate surface "hasCardinality" ⓘ |
| Gell-Mann matrices | 8 ⓘ |
| DTD | ? (zero or one) via predicate surface "cardinalityOperators" ⓘ |
| DTD | * (zero or more) via predicate surface "cardinalityOperators" ⓘ |
| DTD | + (one or more) via predicate surface "cardinalityOperators" ⓘ |
| Cantor set | cardinality of the continuum ⓘ |
| Pauli matrices | 3 via predicate surface "hasCardinality" ⓘ |
| Herbrand universe | can be finite via predicate surface "cardinalityProperty" ⓘ |
| Herbrand universe | can be countably infinite via predicate surface "cardinalityProperty" ⓘ |
| Veblen hierarchy | countable range at each finite stage ⓘ |
| Bernstein set | both the set and its complement have cardinality continuum via predicate surface "cardinalityProperty" ⓘ |
| Primary Volume Descriptor | exactly one per ISO 9660 volume ⓘ |
| Sperner family | finite via predicate surface "groundSetCardinality" ⓘ |
| Fermat pseudoprime | infinitely many Fermat pseudoprimes are known for many bases via predicate surface "hasCardinalityProperty" ⓘ |
| Johnson solids | 92 via predicate surface "hasCardinality" ⓘ |
|
Johnson solids are not vertex-transitive
surface form:
Johnson solids
|
92 via predicate surface "hasCardinality" ⓘ |
| Four Hundred Southerners | many via predicate surface "hasCardinality" ⓘ |
|
Liouville numbers
surface form:
Liouville number
|
uncountable ⓘ |
| GF(p) | p via predicate surface "hasCardinality" ⓘ |
| GF(p^m) | p^m via predicate surface "hasCardinality" ⓘ |
| von Neumann neighborhood | 4 (in 2D, radius 1) via predicate surface "hasCardinality" ⓘ |
| Farey sequence | |F_n| = 1 + sum_{m=1}^n φ(m) via predicate surface "cardinalityFormula" ⓘ |
| Farey sequence | |F_n| = 1 + sum of Euler totient function up to n via predicate surface "cardinalityFormula" ⓘ |
| Baire space | continuum via predicate surface "hasCardinality" ⓘ |
| Borel set | Borel σ-algebra on ℝ has cardinality continuum via predicate surface "cardinalityProperty" NERFINISHED ⓘ |
| Baire space ω^ω | continuum via predicate surface "hasCardinality" ⓘ |
| GetRequest | single-item retrieval via predicate surface "hasCardinality" ⓘ |
| FHIR Practitioner | identifier 0..* via predicate surface "hasCardinality" ⓘ |
| FHIR Practitioner | active 0..1 via predicate surface "hasCardinality" ⓘ |
| FHIR Practitioner | name 0..* via predicate surface "hasCardinality" ⓘ |
| FHIR Practitioner | telecom 0..* via predicate surface "hasCardinality" ⓘ |
| FHIR Practitioner | address 0..* via predicate surface "hasCardinality" ⓘ |
| FHIR Practitioner | gender 0..1 via predicate surface "hasCardinality" ⓘ |
| FHIR Practitioner | birthDate 0..1 via predicate surface "hasCardinality" ⓘ |
| FHIR Practitioner | photo 0..* via predicate surface "hasCardinality" ⓘ |
| FHIR Practitioner | qualification 0..* via predicate surface "hasCardinality" ⓘ |
| FHIR Practitioner | communication 0..* via predicate surface "hasCardinality" ⓘ |
| Stage VII | 7 via predicate surface "cardinalityOfSequence" ⓘ |
| Lebesgue measurable set | collection has cardinality 2^{continuum} via predicate surface "hasCardinalityProperty" ⓘ |