A binary function that takes a pair of space regions (see homogeneous positive dimensional space region) of the same dimensionality (see Spatially Equidimensional)to their mereological product or intersection in the sense of Region Connection Calculus 8 Theory. (Space Region Product Fn REG1 REG2) is the unique homogeneous positive dimensional space region PROD such that any region connects with (see C) PROD if and only if it connects with some region REGION such that REGION is a part of (see P) both REG1 and REG2.

See the corresponding predicate Space Region Product. Also see Space Region Sum Fn and Space Region Difference Fn.

Note that Space Region Product Fn is the function called prod in the paper on spatial logic by Randell, Cui, and Cohn (1992).