VDict mobile



An upper bound of two elements x and y under some relation
#@= is an element z such that x #@= z and y #@= z.
("#@=" is written in LaTeX as sqsubseteq).
(1995-02-15)