半格

✍ dations ◷ 2025-12-10 04:27:20 #半格

设 ${displaystyle (L,leq )}$ ${displaystyle (L,leq )}$ 是一个偏序集，若对于任意的 ${displaystyle x,yin L}$ ${displaystyle x,yin L}$ ， ${displaystyle {x,y}}$ ${displaystyle {x,y}}$ 都有最小上界（并），或者对于任意的 ${displaystyle x,yin L}$ ${displaystyle x,yin L}$ ， ${displaystyle {x,y}}$ ${displaystyle {x,y}}$ 都有最大下界（交），则称 ${displaystyle (L,leq )}$ ${displaystyle (L,leq )}$ 构成一个半格。

也可以将半格定义为一个代数结构。一个半格是一个代数结构 ${displaystyle (L,vee )}$ ${displaystyle (L,vee )}$ 或 ${displaystyle (L,wedge )}$ ${displaystyle (L,wedge )}$ ，其中 ${displaystyle vee }$ $vee$ 和 ${displaystyle wedge }$ $wedge$ 如同在格的定义中所述。

相关

方罗之争方罗之争是于2012年初在中国发生的一起网络事件。即方舟子与罗永浩以新浪微博为主战场，在互联网上进行了长达半年的争执，后发展到线下，在社会上引起很大反响。罗永浩曾通过彭剑
明日花绮罗明日花绮罗（日语：明日花キララ，1988年10月2日－），日本前著名的AV女优、歌手，出生于日本北海道，东京都出身。曾为女优团体“惠比寿麝香葡萄1.5”队长。也曾是“Prestige”和“H.M.P”
莱安·弗内什莱安·弗内什（马耳他语：Ryan Fenech；1986年4月20日－）是一位马耳他足球运动员。在场上的位置是中场。他现在效力于马耳他足球超级联赛球队瓦莱塔足球俱乐部。他也代表马耳他国家足
郭豫适郭豫适（1933年－2020年11月1日），笔名余思、于斯，男，汉族，广东潮阳人，中国文学研究家、红学家，华东师范大学教授、原副校长。
张国瑞张国瑞，直隶乐亭县人，明朝政治人物、进士出身。万历三十五年（1607年）丁未科进士。官至陕西左布政使。
Swallowtail Butterfly ～爱之歌～三白金（日本唱片协会）《Swallowtail Butterfly ～爱之歌～》（日语：Swallowtail Butterfly 〜あいのうた〜），是日本电影《燕尾蝶》衍生的乐团YEN TOWN BAND的单曲。 1996年7月22日发行
黄质夫黄质夫（1896年－1963年），江苏仪征人。祖籍湖南邵阳。名同义、字质夫。中国乡村教育先驱之一。1896年3月6日生于江苏仪征十二圩。1920年年考入南京高等师范学校（1921年改建为国立东
孔氏南宗孔氏南宗，是北宋末年以后在迁徙到中国浙江衢州的一支孔子后裔。靖康之难后，建炎二年（1128年）十一月，宋高宗赵构于扬州行宫举行继统后首次祀天大典，衍圣公孔端友与堂叔孔传奉诏陪位。孔端友返回曲阜后，因金兵大举入侵，遂恭负传家宝“孔子及亓官夫人楷木像”（据传为子贡亲手雕刻）、“唐吴道子绘孔子佩剑图”和“至圣文宣王庙祀朱印”等，与部分族人南迁，后家于浙江衢州。其子孙孔玠、孔搢、孔文远、孔万春、孔洙依次承袭衍圣公，史称南宗。元朝灭南宋后的至元十九年（1282年），元世祖议立孔子后，以寓衢者为大宗，欲召孔洙回曲阜袭
曲城故城址曲城故城址，位于山东省烟台市招远市蚕庄镇东曲城村，是中华人民共和国文物保护单位之一。1992年6月12日，授予山东省文物保护单位，是一座古遗址。2019年10月，该遗址列入第八批全国重点文物保护单位。
访客留言簿访客留言簿又称留言簿、访客簿、访客日志、访客书、访客相册，是一种供访客留下他们的姓名、邮编、电子邮件地址、即时通讯软件账号和任何意见的纸质册子、小本子或网站意见区。在教堂、旅馆、民宿、博物馆、学校、图书馆和其他对公众开放的设施中，这种纸质的访客留言簿很常见。留言簿中提供的姓名和地址经常被图书馆等机构管理者记录和整理，用于统计数据，并在将来与访客联系。