反链

✍ dations ◷ 2025-08-03 06:23:01 #序理论

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

用形式化语言表述就是:

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

相关

  • 指令在计算机技术中,指令是由指令集架构定义的单个的CPU操作。在更广泛的意义上,“指令”可以是任何可执行程序的元素的表述,例如字节码。在传统的构架上,指令包括一个操作码(opcode)
  • 饲养驯化(英语:Domestication)是指一种生物的成长与生殖逐渐受另一种生物利用与掌控的过程,例如人类栽培各种农作物、畜牧,以及切叶蚁驯养真菌。人类驯化动植物的目的主要包括作为食
  • 引力波背景 (GWB)宇宙引力波背景辐射是宇宙引力波的背景辐射。在宇宙中的电子与质子未结合在一起时,宇宙中的粒子呈现等离子态,所以还没有光子的形成,因此无法用各种观测射线的望远镜来观察,而透
  • 电力工业部中华人民共和国电力工业部,1955年7月设立,1958年2月与水利部合并为水利电力部,1979年2月重设,1982年3月再次合并为水利电力部。(1994年时)1. 内务部  部长:谢觉哉  2. 外交部部
  • 断沟龙虾断沟龙虾(学名Panulirus interruptus),又名加州龙虾或加州刺龙虾,是分布在由加利福尼亚州蒙特利湾(Monterey Bay)至墨西哥特万特佩克湾(Gulf of Tehuantepec)的东太平洋的一种龙虾。
  • 2019冠状病毒病科特迪瓦疫情2019冠状病毒病科特迪瓦疫情,介绍在2019新型冠状病毒疫情中,在科特迪瓦发生的情况,可能无法涵盖所有及时的事件。2020年3月11日,科特迪瓦卫生部宣布确诊该国首例新冠肺炎患者,曾
  • 寄生蜂下目寄生蜂(Parasitoid wasp),指膜翅目细腰亚目中金小蜂科、姬蜂科、小茧科等靠寄生生活的多种昆虫。它们的寄生方式很多,被寄生对象从卵到成虫的各个阶段,都可能被寄生。形象如右图,
  • 2019冠状病毒病三重县疫情2019冠状病毒病三重县疫情(日语:三重県における2019年コロナウイルス感染症の流行/みえけんにおける2019ねんコロナウイルスかんせんしょうのりゅうこう),介绍日本的2019冠状病毒
  • 朱安 (鲁迅夫人)朱安(1878年-1947年6月29日),浙江省绍兴府山阴县人,中国作家鲁迅(周树人)的元配,亦是包办婚姻妻子,比鲁迅大三岁,是一位传统缠足女性:会烹饪,会缝纫,不识字,性格温顺。1906年,远在日本医学
  • 拟海百合拟海百合(Paracrinoidea)是一类已灭绝的棘皮动物,生存于奥陶纪早期至志留纪早期。萼板(Thecal plate)排列略作两侧对称,有2到4个似海百合的腕(Arm),具有侧羽枝。种类不多,目前已知约有