唯一つの元を持つ集合

1と表記

1から集合Aへの写像は、Aの元の選択と同じなので、

この写像のことを元と呼べる