>>507
集合論によると
自然数の1は空集合φのみで構成される集合{φ}で定義するという話を聞いたことがあるが、
φ自体が零元でもあるので、零元そのもののみの集合である1は単位元と呼べるのだろうか？