vinimaya-sambandhI prakaarya (CommutativeFunction)
A BinaryFunction is commutative if
the ordering of the arguments of the function has no effect on the value
returned by the function. More precisely, a function function is
commutative just in case (function inst1 inst2) is equal to (function
inst2 inst1), for all inst1 and inst2.
SUMO / BASE-ONTOLOGY
Related WordNet synsets
- (mathematics) of a binary operation; independent of order; as in e.g. "a x b = b x a"
(instance ?FUNCTION CommutativeFunction)
(domain ?FUNCTION 1 ?CLASS)
(instance ?INST1 ?CLASS)
(instance ?INST2 ?CLASS))
(AssignmentFn ?FUNCTION ?INST1 ?INST2)
(AssignmentFn ?FUNCTION ?INST2 ?INST1)))))