設(shè)Z是一集合，對于A，B∈2^z，規(guī)定A＜B當(dāng)且僅當(dāng)A屬于B，證明，（2^z，＜）是半序集。
半序集是什么集,我那時(shí)還沒學(xué)過,請說明一下.是不是才出的新名詞.
