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
单射函数
这是个一对一的 UnaryFunction Class，对于 所有在定义域F的X和Y，函数F是一对一的，这是以防X不同于Y，那么F(X)就和F(Y)不相同。
Relationships      
Parents 一元函数 The Class of Functions that require a single argument.
Children 序列函数The 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