R = {<<1,1>,<1,1>>,<<1,1>,<2,2>>,<<1,1>,<3,3>>,<<1,1>,<4,4>>,
<<1,2>,<1,2>>, <<1,2>,<2,3>>,<<1,2>,<3,4>>,
<<1,3>,<1,3>>,<<1,3>,<2,4>>,
<<1,4>,<1,4>>,......}
R确定的AxA上的一个划分:
S = {{<1,1>,<2,2>,<3,3>,<4,4>},{<1,2>,<2,3>,<3,4>},{<1,3>,<2,4>},{<1,4>},
{<2,1>,<3,2>,<4,3>},{<3,1>,<4,2>},{<4,1>}}