bedding

n 1: covering that are used on a bed [syn: {bedclothes}, {bed

clothing}]

2: material used to provide a bed for animals [syn: {bedding

material}, {litter}]

embedding

1. One instance of some mathematical object

contained with in another instance, e.g. a {group} which is a

subgroup.

2. ({domain theory}) A {complete partial order} F in

[X -> Y] is an embedding if

(1) For all x1, x2 in X, x1 <◦ x2 <◦> F x1 <◦ F x2 and

(2) For all y in Y, {x | F x <◦ y} is {directed}.

("<◦" is written in {LaTeX} as {\sqsubseteq}).

(1995-03-27)