Let $G$ be a set.

What are the consequences of choosing $a \in G$ and $b \notin G$ on the result of their binary operation and the closure property?

What *axiomatic* argument would you give to support that $ab$ need not be in $G$? 

Even if in the case $G$ is a proper subgroup of some H?