最小元の存在