SequenceFunction Comparison Table

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
(<=>
(instance ?FUN OneToOneFunction)
(forall (?ARG1 ?ARG2)
(=>
(and
(instance ?ARG1 (DomainFn ?FUN))
(instance ?ARG2 (DomainFn ?FUN))
(not (equal ?ARG1 ?ARG2)))
(not (equal (AssignmentFn ?FUN ?ARG1) (AssignmentFn ?FUN ?ARG2))))))

SequenceFunction The Class of OneToOneFunctions whose range is a subclass of the PositiveIntegers OneToOneFunction
(=>
(instance ?SEQ SequenceFunction)
(subclass (RangeFn ?SEQ) Integer))

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	(<=> (instance ?FUN OneToOneFunction) (forall (?ARG1 ?ARG2) (=> (and (instance ?ARG1 (DomainFn ?FUN)) (instance ?ARG2 (DomainFn ?FUN)) (not (equal ?ARG1 ?ARG2))) (not (equal (AssignmentFn ?FUN ?ARG1) (AssignmentFn ?FUN ?ARG2))))))
SequenceFunction	The Class of OneToOneFunctions whose range is a subclass of the PositiveIntegers	OneToOneFunction	(=> (instance ?SEQ SequenceFunction) (subclass (RangeFn ?SEQ) Integer))