哈塞图中的一种由某元素确定的节段.设〈A,R〉是偏序集,若BA,且对任何a∈A,存在b∈B,使aRb,就有a∈B,则称B是一个R前段.B是R前段时,B中每个元素的前元都在B中.例如,在右面哈塞图所示的偏序集中,{6,7},{6,7,8,9},{3,4,6,7}等都是R前段,而{6,7,8},{1,3,4,6,7}不是R前段.〈A,R-1〉的R前段称为〈A,R〉的R后段.
R前段
2023-05-11
数学百科
2023-05-11
哈塞图中的一种由某元素确定的节段.设〈A,R〉是偏序集,若BA,且对任何a∈A,存在b∈B,使aRb,就有a∈B,则称B是一个R前段.B是R前段时,B中每个元素的前元都在B中.例如,在右面哈塞图所示的偏序集中,{6,7},{6,7,8,9},{3,4,6,7}等都是R前段,而{6,7,8},{1,3,4,6,7}不是R前段.〈A,R-1〉的R前段称为〈A,R〉的R后段.