Simple Browser : Welcome guest : log in

[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  SUMO Language:  ChineseLanguageChinesePinyinWritingChineseSimplifiedWritingChineseTraditionalLanguageEnglishGroupLanguageEnglishLanguageFrenchLanguageGermanLanguageJapaneseLanguageSpanishLanguageSwedishLanguageexpectedYearOfGraduationmeasuringListInterval   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

KB Term:

FlyInsect

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 function 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