有限格子のバーコフ完備

有限格子を最小の分配格子に埋め込む構成を提案する。