乘积偏序集的证明

下标太多不好打字，手写了一份，大家将就着看哈，看不清的欢迎提问哦！