设X为一个集合，[img=14x21]18031a62fd84001.png[/img]关系为定义在[img=20x23]18031a6306b325d.png[/img]上的偏序关系，[img=56x24]18031a630e09de8.png[/img],[img=56x24]18031a6316094fd.png[/img]，则集合{A,B}对于关系[img=14x21]18031a62fd84001.png[/img]而言其下确界为[img=48x19]18031a632609b9f.png[/img]。
举一反三
- 设X为一个集合，[img=14x21]180380e5ccc9f31.png[/img]关系为定义在[img=20x23]180380e5d4ca890.png[/img]上的偏序关系，[img=56x24]180380e5ddcf293.png[/img],[img=56x24]180380e5e6065ff.png[/img]，则集合{A,B}对于关系[img=14x21]180380e5ccc9f31.png[/img]而言其下确界为[img=48x19]180380e5f70b781.png[/img]。
- 设X为一个集合，[img=14x21]180380e5bb1c1c4.png[/img]关系为定义在[img=20x23]180380e5c357c52.png[/img]上的偏序关系，[img=56x24]180380e5cbc5b62.png[/img],[img=56x24]180380e5d3ef921.png[/img]，则集合{A,B}对于关系[img=14x21]180380e5bb1c1c4.png[/img]而言其上确界为[img=48x19]180380e5ebc58c5.png[/img]。
- 设X为一个集合，[img=14x21]18031a62e8944f1.png[/img]关系为定义在[img=20x23]18031a62f275565.png[/img]上的偏序关系，[img=56x24]18031a62fb0e12d.png[/img],[img=56x24]18031a6303ab1b7.png[/img]，则集合{A,B}对于关系[img=14x21]18031a62e8944f1.png[/img]而言其上确界为[img=48x19]18031a6313cacbb.png[/img]。
- 设集合X={2,{a},3,4},Y={{a},3,4,1},E为全集，则下列命题正确的是 A: {2}∈X B: {a}[img=14x21]18034c7c1b7dae7.png[/img]X C: ∅[img=14x21]18034c7c23e05af.png[/img]{{a}}[img=14x21]18034c7c2c31ae9.png[/img]Y[img=14x21]18034c7c340af57.png[/img]E D: {{a},1,3,4}[img=14x17]18034c7c3c6e7a6.png[/img]Y
- 以下说法错误的是（）。 A: 集合X的幂集[img=20x23]18031a67ac53530.png[/img]上的真包含关系“[img=14x17]18031a67b515bf5.png[/img]”是反自反的。 B: 集合X的幂集[img=20x23]18031a67ac53530.png[/img]上的真包含关系“[img=14x17]18031a67b515bf5.png[/img]”是对称的。 C: 集合X的幂集[img=20x23]18031a67ac53530.png[/img]上的真包含关系“[img=14x17]18031a67b515bf5.png[/img]”是反对称的。 D: 集合X的幂集[img=20x23]18031a67ac53530.png[/img]上的真包含关系“[img=14x17]18031a67b515bf5.png[/img]”是传递的。