OneToOneFunction Comparison Table

Next UnaryFunction: PastFn Up: UnaryFunction Previous UnaryFunction: NumeratorFn

OneToOneFunction comparison table

Subject be third domain of documentation be disjoint from is a kind of be second domain of be first domain of have axiom

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

Subject	be third domain of	documentation	be disjoint from	is a kind of	be second domain of	be first domain of	have axiom
SequenceFunction	domainSubclass	The Class of OneToOneFunctions whose range is a subclass of the PositiveIntegers	Physical	OneToOneFunction	inverse	rangeSubclass	(=> (instance ?SEQ SequenceFunction) (subclass (RangeFn ?SEQ) Integer))

Next UnaryFunction: PastFn Up: UnaryFunction Previous UnaryFunction: NumeratorFn