FTFDL 썸네일형 리스트형 유한분배격자의 기본정리 (Fundamental Theorem of Finite Distributive Lattices) Poset (partially ordered set) Theory에서 중요한 정리인 유한분배격자의 기본정리(Fundamental Theorem of Finite Distributive Lattices)에 대해 설명하고자 한다. 이 정리는 Birkhoff's Theorem으로도 불린다. 정의 1. 집합 P와 그 위에 정의된 order relation ≤의 순서쌍 (P,≤)를 Poset이라고 한다. P가 유한집합인 경우 (P,≤)를 Finite Poset이라고 한다. 정의 2. Poset P의 임의의 두 원소가 유일하게 정해지는 Meet x∨y 및 Join x∧y를 갖는 경우, P를 격자(Lattice)라고 한다.. 더보기 이전 1 다음