Is composition associative? Check!
Associativity for <=
seems a bit weird to me; generally you want the value inside of ()
to be comparable outside; but (1 <= 2) <= 3
would result in True <= 3
. So I think the best way to think of associativity here is that it just does not apply, and the ()
can be dropped.