Word:

coalesced sum

(theory)coalesced sum - (Or "smash sum") In domain theory, the coalesced sum of domains A and B, A (+) B, contains all the non-bottom elements of both domains, tagged to show which part of the sum they come from, and a new bottom element.

D (+) E = { bottom(D(+)E) } U { (0,d) | d in D, d /= bottom(D) } U { (1,e) | e in E, e /= bottom(E) }

The bottoms of the constituent domains are coalesced into a single bottom in the sum. This may be generalised to any number of domains.

The ordering is

bottom(D(+)E) <= v For all v in D(+)E

(i,v1) <= (j,v2) iff i = j & v1 <= v2

"<=" is usually written as LaTeX \sqsubseteq and "(+)" as LaTeX \oplus - a "+" in a circle.
Browse
Coal plant
coal scuttle
coal seam
coal shovel
Coal tar
coal tongs
Coal works
Coal-black
Coal-meter
coal-tar creosote
Coal-whipper
COALA
coalbin
Coalery
Coalesce
coalesced
-- coalesced sum --
Coalescence
coalescency
Coalescent
coalface
coalfield
Coalfish
Coalgoose
coalhole
coaling station
Coalite
Coalition
Coalition for Networked Information
Coalitioner
Coalitionist
coalman
Coalmouse
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy