Talk:Q217594
Jump to navigation
Jump to search
Autodescription — class (Q217594)
description: mathematical collection of sets that can be defined based on a property of its members (set theory)
- Useful links:
- View it! – Images depicting the item on Commons
- Report on constraint conformation of “class” claims and statements. Constraints report for items data
For help about classification, see Wikidata:Classification.
- Parent classes (classes of items which contain this one item)
- Subclasses (classes which contain special kinds of items of this class)
- ⟨
class⟩ on wikidata tree visualisation (external tool)(depth=1) - Generic queries for classes
Data to provide for this type of item
- See also
- This documentation is generated using
{{Item documentation}}.
Subclass of self?
[edit]Should this item (class (Q217594)) perhaps be subclass of (P279) of itself? I ask because of such items as subclass (Q3965271) with definition domain (P1568) of this item, which raise the following "Potential issue":
- value type constraint
- Values of codomain statements should be instances of set or class (set theory) (or of a subclass of them), but class (set theory) currently isn't.
Somehow, the requirement of an instance/subclass of class (set theory) should be satisfied by class (set theory) itself. Possibly more fundamentally, relation (P2309) should have options "subclass of or self" and "instance or subclass of or self". - Imnasnainaec (talk) 18:40, 27 September 2019 (UTC)