A binary function that takes a pair of space regions to their mereological sum in the sense of Region Connection Calculus 8 Theory. (Space Region Sum Fn REG1 REG2) is the unique homogeneous positive dimensional space region SUM such that any region connects with (see C) SUM if and only if it connects with either REG1 or REG2.

See also the corresponding predicate Space Region Sum.