Maybe it’s confusing because it’s misnamed?

Is it? Two things are equal exactly when they aren’t exclusive.

This is like saying the non-negative integers under addition, lists under append, and strings under concatenation are all just misnamings of the semigroup operator.

https://hackage.haskell.org/package/base-4.21.0.0/docs/Data-...