证明整数集Z上的大于等于关系“ ”是一个偏序关系