Statements (52)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:canBe |
Infinite
Empty Finite Non-empty |
| gptkbp:definedIn |
gptkb:class
gptkb:intersection Union Set Sequence Power set Disjoint union Tuple Sigma-algebra Any grouping of mathematical objects Bag (Mathematics) Basis (Topology) Closed set Cover (Mathematics) Family (Mathematics) Family of sets Filter (Mathematics) Indexed family List (Mathematics) Multiset Open set Partition (Mathematics) Partition of a set Sigma-field Ultrafilter |
| gptkbp:describes |
Grouping of objects
|
| gptkbp:generalizes |
Sequence
Tuple Bag (Mathematics) Class (Mathematics) Family (Mathematics) List (Mathematics) Multiset Set (Mathematics) |
| https://www.w3.org/2000/01/rdf-schema#label |
Collection (Mathematics)
|
| gptkbp:isNotNecessarily |
A set
|
| gptkbp:mayInclude |
gptkb:Elements
Members Objects |
| gptkbp:relatedTo |
Set (Mathematics)
|
| gptkbp:usedIn |
gptkb:logic
gptkb:Topology gptkb:Set_theory Category theory Measure theory |
| gptkbp:bfsParent |
gptkb:Pappus's_Hexagon_Theorem
|
| gptkbp:bfsLayer |
7
|