SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > OneToOneFunction > SequenceFunction |
SequenceFunction comparison table |
Subject | documentation | is a kind of | have axiom |
---|---|---|---|
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) | UnaryFunction | (<=> |
SequenceFunction | The Class of OneToOneFunctions whose range is a subclass of the PositiveIntegers | OneToOneFunction | (=> |
Up: OneToOneFunction