>>741
一般に，二項演算 * に対して e が恒等元であるとは
任意の a に対して e * a = a * e = a を満たすことを言う．
μを中置記法で読めば，最後に出てくる式はこれと同じ．