つーか、あれだ。
標準的な記述方法を決めて、ある式が与えられた時それを標準化する方法を決めて、
標準形式になったﾔｼを同値類とかんがえればよいのだ。