下列哈斯图表示的偏序集是否有最大.ppt

3. 证明R在A上反对称 任取x,y， x,y?R?y,x?R ? …………………….. ? x = y 前提 推理过程 结论 4. 证明R在A上传递 任取x,y,y,z， x,y?R?y,z?R ? …………………….. ? x,z?R 前提 推理过程 结论 关系性质的证明方法 7．R,S为A上的关系，证明 R?S ? t(R) ? t(S) 练习7 证 只需证明对于任意正整数n, Rn ? Sn. 对n归纳. n=1, 显然为真. 假设对于n，命题为真，任取x,y x,y?Rn+1 ? x,y?Rn°R ? ?t (x, t?Rn ? t, y?R) ? ?t (x, t?Sn ? t, y?S) ? x,y?Sn°S