(so that S is closed under the identity constant operation); whenever x belongs to S, so does x−1 (so that S is closed under the inverse operation); whenever x and y belong to S, so does (so that S is closed under the group's multiplication operation). References Universal algebra