>>695
ideal(c,d)とはどのような意味なのでしょうか？

aとbがとり得る値を集合とした場合に、その2つの集合の積集合の元が、c,dの集合に含まれるという事ですか？