A property some binary operations possess. The operation @ is associative if for all a,b,c
a@(b@c) = (a@b)@c
These all are
not associative.
Note that the operation @ must have the type AxA -> A. So it is a categorical error to suggest that relations might be associative.