有界デファイナブル積をもったデファイナブル完備局所順序極小構造