積について閉じているならば、単位元と逆元は必要。