(나) 조건에 의해서 M에 들어있는 두 원소의 곱이 모두 M에 들어가야 합니다. 따라서 M = {a,b,c} 라고 할 때, M의 두 원소 a와 a의 곱인 a² 이 M에 포함되어야 하며, 비슷하게 a와 b의 곱인 ab가 M에 포함되어야 하고, a와 c의 곱인 ac가 M에 포함되어야 합니다.