点ごとの積
f と g がともに、離散変数からなる集合に関してそれらがとり得る値の組み合わせ全体の成す集合を定義域に持つと仮定する。このときそれらの点ごとの積は、その定義域がもとの二写像各々の変数の合併に関して取りうる値の組み合わせ全体の成す集合として与えられる写像となる。変数のとる値の各組に対するこの写像の値は、もとの各々の写像の定義域はこの写像の定義域の部分集合なのだから、それぞれの変数の値の対応する組に対するもとの二写像各々の値の積として計算できる。
例えば、函数 f1: B × B → R がブール値変数 p, q に対し、また f2: B × B → R がブール値変数 q, r に対して与えられた、ともに実数値の函数とすれば、それらの点ごとの積は f(p, q, r) ≔ f1(p, q) × f2(q, r) で与えられる三変数の函数 f: B × B × B → R である。以下の表は、各函数の値を与えたときの点ごとの積を示したものである: