Property talk:P1571

Documentation

• Start a query
• Current uses
• Statistics by class
• List of values
• List of qualifiers
• Count

codomain
codomain of a function

Description	a superset of the range of a function (Q1806121) of a function or relation
Represents	codomain (Q199006)
Data type	Item
Domain	According to this template: instances of mapping (Q370502), function (Q11348), morphism (Q1948412), binary relation (Q130901) According to statements in the property: mapping (Q370502), function (Q11348), morphism (Q1948412) or binary relation (Q130901) When possible, data should only be stored as statements
Allowed values	instances of set (Q36161), class (Q217594) (note: this should be moved to the property statements)
Example	logarithm (Q11197) → set of real numbers (Q1174982) square function (Q3075175) → set of real numbers (Q1174982)
See also	definition domain (P1568), image of function (P2396)
Lists	Items with the most statements of this property Count of items by number of statements (chart) Items with the most statements Items with the fewest statements Count of items by number of sitelinks (chart) Items with the most sitelinks Items with the most sitelinks, but no link to one Wikipedia (sample: Welsh Wikipedia, cywiki) Items with the fewest sitelinks Most linked wikis Items with the most identifier properties By value of property Most statements Fewest statements Most sitelinks Most linked wikis Total of sitelinks on items Most identifiers Fewest identifiers Items with no other statements Most recently created items Items with novalue claims Items with unknown value claims Usage history (total) Usage history (main statement) Chart by item creation date Database reports/Constraint violations/P1571 Map Random list
Proposal discussion	Proposal discussion
Current uses	Total 134 Main statement 117 87.3% of uses Qualifier 17 12.7% of uses
Search for values

[create Create a translatable help page (preferably in English) for this property to be included here]

Type “mapping (Q370502), function (Q11348), morphism (Q1948412), binary relation (Q130901)”: item must contain property “instance of (P31), subclass of (P279)” with classes “mapping (Q370502), function (Q11348), morphism (Q1948412), binary relation (Q130901)” or their subclasses (defined using subclass of (P279)). (Help)

Exceptions are possible as rare values may exist. Exceptions can be specified using exception to constraint (P2303).
List of violations of this constraint: Database reports/Constraint violations/P1571#Type Q370502, Q11348, Q1948412, Q130901, SPARQL

Value type “set (Q36161), class (Q217594), category (Q719395)”: This property should use items as value that contain property “instance of (P31), subclass of (P279)”. On these, the value for instance of (P31), subclass of (P279) should be an item that uses subclass of (P279) with value set (Q36161), class (Q217594), category (Q719395) (or a subclass thereof). (Help)

Exceptions are possible as rare values may exist. Exceptions can be specified using exception to constraint (P2303).
List of violations of this constraint: Database reports/Constraint violations/P1571#Value type Q36161, Q217594, Q719395, SPARQL

Single value: this property generally contains a single value. (Help)

Exceptions are possible as rare values may exist. Exceptions can be specified using exception to constraint (P2303).
List of violations of this constraint: Database reports/Constraint violations/P1571#Single value, SPARQL

Scope is as main value (Q54828448), as qualifier (Q54828449): the property must be used by specified way only (Help)

Exceptions are possible as rare values may exist. Exceptions can be specified using exception to constraint (P2303).
List of violations of this constraint: Database reports/Constraint violations/P1571#Scope, SPARQL

Allowed entity types are Wikibase item (Q29934200): the property may only be used on a certain entity type (Help)

Exceptions are possible as rare values may exist. Exceptions can be specified using exception to constraint (P2303).
List of violations of this constraint: Database reports/Constraint violations/P1571#Entity types

See also

• image of a function (property proposal)
• input set (P1851)
• definition domain (P1568)

Widen scope of value-type constraint (Q21510865) constraint?

The statement linear functional (Q99239929)codomain (P1571)field of scalars (Q99240496) has a constraint violation because field of scalars (Q99240496) is a subclass of set (Q36161), not a instance of. In the case of a functional, this is correct because the particular field will depend on the choice of vector space. Can we change codomain (P1571)property constraint (P2302)value-type constraint (Q21510865)relation (P2309)instance of (Q21503252) to codomain (P1571)property constraint (P2302)value-type constraint (Q21510865)relation (P2309)instance or subclass of (Q30208840) or is there a better way to model this relationship? The-erinaceous-one (talk) 20:37, 12 September 2020 (UTC)

I made the change to match the property constraints on Template:P1568. The-erinaceous-one (talk) 20:53, 12 September 2020 (UTC)

Allow use as qualifier

There is a related discussion in Property talk:P31. 慈居 (talk) 16:41, 18 August 2023 (UTC)