20150821

X と Y を集合とし, 写像 a: Y×Y→Y がある時, 写像 b: Y^X×Y^X→Y^X で, ∀f(∀g(∀x(((f∈Y^X)∧(g∈Y^X)∧(x∈X))⇒(b(f,g)(x)=a(f(x),g(x)))))) となるようにできる.