unixにおける零元とは /dev/null のような気がする
と考えると，単位元が何なのか気になって眠れない．