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
1対1関数
UnaryFunctions は1対1である。関数 F は、 F のドメイン内のすべての X の場合に備えて 1 対 1 で、X が Y と同一でない場合、F(X) は F(Y) と 同一ではない。
Relationships      
Parents 1変数関数 The Class of Functions that require a single argument.
Children 配列関数The 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