Para todo a, b en S, se cumple que a * b está en S.