Question 918852
Given a binary operation * and a set S, * is closed if for any two elements p, q ∈ S, p*q ∈ S.