順序集合Aの部分集合をMとし,
a=supM (a∈A)
である場合にa∈Mであることを示すにはどうすればよいですか?