上集(upper set) 对于一个偏序集(P,≦),A包含于P,定义↑A=〈y∈P∣存在x∈A,x≦y〉,如果A=↑A,我们把A成为(P,≦)的上集,同理下集也是这样定义的。
欢迎使用别助学词语词典!我们专注于汉语词语、成语、近义词、反义词的查询与学习。词库丰富,查询快速,是您提升汉语水平的得力助手。如有任何问题,欢迎联系我们。