Simple Browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 




Sigma KEE - OneToOneFunction
KB Term: 
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
one to one function
The Class of UnaryFunctions which are one to one. A function F is one to one just in case for all X, Y in the domain of F, if X is not identical to Y, then F(X) is not identical to F(Y).
Relationships      
Parents unary function The Class of Functions that require a single argument.
Children sequence functionThe Class of OneToOneFunctions whose rangeis a subclass of the PositiveIntegers.


Show simplified definition with tree view
Show full definition (without tree view)
Show full definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners