设[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]是集合，[tex=0.786x1.286]dSWbQCTjdbLxKy7q0ps2gg==[/tex]是[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]的所有划分组成的集合，对于任意[tex=2.286x1.214]V4PU7/CP/N41GTVpOc7rbQ==[/tex]和[tex=2.286x1.214]HGIqt2shkhVMOCc/3K0AYw==[/tex]，规定[tex=0.786x1.286]dSWbQCTjdbLxKy7q0ps2gg==[/tex]上的关系[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]如下：[tex=7.143x1.214]tSZMvgzR6r8Yytqqi60whr/9ldr5TRTT8OXItY2KjBlwNqJfwR88yDubEnk9HQUdjZwGfIUXhvWyLb/tvx4UxQ==[/tex]，[tex=3.786x1.214]bV8Pkw4uPLXmyYs8wqsLQY6LSzciib01cvaWGb9dJxU=[/tex]，[tex=3.786x1.143]prfVQWGVPZeTs6EU8RJv7TuxRRAIXI268/LxG0/5Sq4=[/tex]，则[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是集合[tex=0.786x1.286]dSWbQCTjdbLxKy7q0ps2gg==[/tex]上的偏序。