For ANY operation & , the operation is called "associative" if
(a & b ) & c = a & ( b & c )
nah, not your question
If a RELATION f() WITHIN a set of elements) relates elements such that " IF f(a,b) AND f(b,c) THEN ALSO f(a,c) " , then this relation is called "transitive".
Otoh:
if the relation f(a,b) implies f(b,a) forall a,b , f is called "symmetric".
if f(a,a) holds for all a, f is "reflexive"
That was ... stuff I rehearsed with a twelve-year old right before christmas. I hope you're over 18 to have an excuse for "already" having forgotten this life-saving knowledge ;-) |
