圧倒的多数の場合は単位元を含めたほうが便利なんだよ。
積閉集合 S が１を含まないなら S ∪ {1} を考えればいい。