定義
X と Y を空でない束(過去スレ021の156)とする。
f：X → Y を束の準同型(過去スレ021の193)とする。
f が単射のとき f を束埋め込み(lattice embedding)または単に埋め込みと言う。