より一般に、集合 "x" に作用素の集合 "t" が与えられているとき、"x"-値の変数 "x" に対して作用 τ ∈ "t" および定元 "b" ∈ "x" を与えれば、方程式