Lattices
There are two ways to define a lattice L. One way is to define L in terms of a perennially ordered set. Specifically,a lattice L may be defined as a partially ordered set in which int(a,b) and sup(a,b) exist for any pair of easmed a,b,c L. Another way is to define a lattice L axiomatically.This we do below.
Axioms Defining a Lattices
Let L be a none empty set closed under two binary operations called meet and join,denoted respectively by ^ and V. Then L is called lattice if the following axioms hold where a,b,c are elements in L
Latticesมีสองวิธีในการกำหนดโครงตาข่ายประกอบ L. ทางหนึ่งคือการ กำหนด L ในชุดข้อสั่งการ โดยเฉพาะ โครงตาข่ายประกอบ L อาจถูกกำหนดเป็นชุดสั่งเป็นบางส่วนใน int(a,b) และ sup(a,b) ซึ่งมี easmed a, b, c L. คู่ใด ๆ อีกวิธีหนึ่งคือการ กำหนดโครงตาข่ายประกอบ L axiomaticallyนี้เราทำด้านล่าง สัจพจน์ที่กำหนดเป็น Latticesให้ L เป็นไม่ว่างตั้งปิดการดำเนินงานภายใต้สองไบนารีเรียกพบและรวม สามารถบุตามลำดับโดย ^ และ V แล้ว L คือโครงตาข่ายประกอบถ้าสัจพจน์ต่อไปนี้กดค้างไว้ a, b, c เป็นองค์ประกอบใน L
การแปล กรุณารอสักครู่..
