今の例の場合、興味と興味の積を考える事ができるのならばそれでもいいかもしれない。 でも一般には何らかの演算が入ることをを仮定しないただの集合に対して使われるように思う。