What exactly is the problem here? Isn't alpha_C correct?

What does "'over' operation is not closed" mean?

Noted: operation is not commutative

is there an example of the "over" operation not being closed? what issues/bugs would that cause?