反链

✍ dations ◷ 2025-10-03 19:04:54 #序理论

在序理论中,设是一个偏序集,为的一个子集,若中任意两个元素无法相互比较(comparable),则称B是一条反链(Antichain)。为了方便,通常还规定偏序集中的所有单元素子集既是链也是反链。

用形式化语言表述就是:

( A , ) {\displaystyle (A,\geqslant )} 中链的最大长度为,则中存在一个由个反链组成的划分。

相关

  • 呼肠孤病毒正呼肠孤病毒属 Orthoreovirus 环状病毒属 Orbivirus 轮状病毒 Rotavirus 科罗拉多壁虱热病毒 Coltivirus 水产呼肠孤病毒 Aquareovirus 质型多角体病毒 Cypovirus 斐济病毒
  • 胸部X光胸部X光摄影(Chest film),又称为X光摄影或胸部摄影,是一种使用在胸部区域的放射造影技术,可以检视胸腔与周边器官状况。胸部X光是目前在医疗上最常见的检验项目之一。就像其他放
  • N02AA·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码N02(镇痛药)是解剖学治疗学及化学分类系统的一个药物分组,这是由世界卫生组织药物统计方法整合中心(The WHO Collaboratin
  • 类癌类癌(Carcinoid)为一种成长缓慢的神经内分泌肿瘤,源自于神经内分泌细胞(英语:neuroendocrine system)。某些案例则会发生远端转移的状况。中肠(空肠、回肠、阑尾,以及盲肠)发生的类癌
  • 艾雷拉龙类南十字龙科 Staurikosauridae Galton,1977艾雷拉龙科(学名:Herrerasauridae)为已知最古老的恐龙类群,其化石记录最早为2亿3323万年前的卡尼阶。艾雷拉龙科后来在诺利阶灭绝。艾雷
  • N07BA·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码N07(其它神经系统用药)是解剖学治疗学及化学分类系统的一个药物分组,这是由世界卫生组织药物统计方法整合中心(The WHO Co
  • 卡西山地卡西丘陵(Khasi Hills)是印度梅加拉亚邦加罗-卡西山脉和帕特凯山脉的一部分。同时也是梅加拉亚邦亚热带森林生态区的一部分。最高峰Lum Shyllong海拔1968米,位于西隆南部。坐标
  • 内战前时期Antebellum是一个拉丁语单字,意思为战争之前(ante意指“以前”;bellum意指“战争”)。在美国历史及史学史当中,这个单字一般是指美国内战以前,一段地方本位主义逐渐增长的时代,在英
  • 希腊政党列表 政治主题希腊曾为两党制,两大政党分别为泛希腊社会主义运动与新民主党。而此情况在2010年代已不复存在。政党须在选举中超过3%的票数才可获得席次。在2015年9月希腊议会选举
  • 吐蕃大事纪年《吐蕃大事纪年》(藏语:.mw-parser-output .uchen{font-family:"Qomolangma-Dunhuang","Qomolangma-Uchen Sarchen","Qomolangma-Uchen Sarchung","Qomolangma-Uchen Suring",