Property talk:P1568

Documentation

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

definition domain
set of "input" or argument values for which a mathematical function is defined

Description	the set of argument values for which the function has a value or the relation has at least one value
Represents	domain of a function (Q192439)
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), binary relation (Q130901), functor (Q864475) or natural transformation (Q1442189) 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	square function (Q3075175) → set of real numbers (Q1174982) square root (Q134237) → set of non-negative real numbers (Q91311892)
Tracking: usage	Category:Pages using Wikidata property P1568 (Q126375198)
See also	input set (P1851), codomain (P1571), 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/P1568 Map Random list
Proposal discussion	Proposal discussion
Current uses	Total 208 Main statement 178 85.6% of uses Qualifier 30 14.4% 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), functor (Q864475), natural transformation (Q1442189)”: item must contain property “instance of (P31), subclass of (P279)” with classes “mapping (Q370502), function (Q11348), morphism (Q1948412), binary relation (Q130901), functor (Q864475), natural transformation (Q1442189)” 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/P1568#Type Q370502, Q11348, Q1948412, Q130901, Q864475, Q1442189, SPARQL

Value type “set (Q36161), class (Q217594), category (Q719395), functor (Q864475)”: 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), functor (Q864475) (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/P1568#Value type Q36161, Q217594, Q719395, Q864475, 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/P1568#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/P1568#Entity types

This property is being used by: es:Plantilla:Ficha de estándar de tecnología Please notify projects that use this property before big changes (renaming, deletion, merge with another property, etc.)

See also

• input set (P1851)
• image of a function (property proposal)
• codomain (P1571)

Domain or input set?

Domain (ensemble de définition) is a subset of the input set (ensemble de départ). Domain is often complicated. For example, domain of tangens is R \ {π/2 + kπ}, but for its input set, R is sufficient. Therefore I propose to either change this property (note that it is very little used yet) to input set or create the input set as another property. Petr Matas 20:36, 7 January 2015 (UTC)

@Petr Matas: Hi, my proposal was actually for 4 properties, but seems that the creator did not get it :) TomT0m ^(talk) 18:57, 10 March 2015 (UTC)

Property should be valid also for classes and should admit classes for values, too

For example function on a real interval (Q43374957), which is the class of functions whose domain is a real interval have the right to contain the statement "domain": interval (Q185148), which is a class. --Ogoorcs (talk) 22:02, 20 November 2017 (UTC)

I agree, I hit the same problem with image of function (P2396) which has the same constraint. On the other hand, codomain (P1571) (which is basically the same concept) does allow subclasses. So I’m going to allow subclasses for definition domain (P1568) and image of function (P2396) as well. --Mormegil (talk) 16:43, 5 January 2024 (UTC)