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

Formal Language: 



KB Term: 

  OneToOneFunction

Sigma KEE - OneToOneFunction
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
OneToOneFunction
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 UnaryFunction The Class of Functions that require a single argument.
Children SequenceFunctionThe Class of OneToOneFunctions whose rangeis a subclass of the PositiveIntegers.


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

Show without tree


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