{"id":3017,"date":"2025-06-07T14:55:07","date_gmt":"2025-06-07T14:55:07","guid":{"rendered":"https:\/\/diznr.com\/?p=3017"},"modified":"2025-06-07T14:55:07","modified_gmt":"2025-06-07T14:55:07","slug":"day-03part-13-example-based-on-lattice-in-discrete-mathematics-with-all-the-concept-basic","status":"publish","type":"post","link":"https:\/\/www.reilsolar.com\/pdf\/day-03part-13-example-based-on-lattice-in-discrete-mathematics-with-all-the-concept-basic\/","title":{"rendered":"Day 03Part 13-Example based on lattice in discrete mathematics with all the basic concept."},"content":{"rendered":"<p>Day 03Part 13-Example based on lattice in discrete mathematics with all the basic concept.<\/p>\n<p>[fvplayer id=&#8221;218&#8243;]<\/p>\n<h3 data-start=\"0\" data-end=\"61\"><strong data-start=\"3\" data-end=\"59\">\u00a0Examples Based on Lattice in Discrete Mathematics<\/strong><\/h3>\n<h3 data-start=\"63\" data-end=\"101\"><strong data-start=\"67\" data-end=\"99\">\u00a0Recap: What is a Lattice?<\/strong><\/h3>\n<p data-start=\"102\" data-end=\"294\">A <strong data-start=\"104\" data-end=\"115\">lattice<\/strong> is a <strong data-start=\"121\" data-end=\"161\">partially ordered set (poset) (L, \u2264)<\/strong> where every pair of elements has:<br data-start=\"195\" data-end=\"198\" \/>1\ufe0f\u20e3 <strong data-start=\"202\" data-end=\"242\">Least Upper Bound (LUB) \u2192 Join ( \u2228 )<\/strong><br data-start=\"242\" data-end=\"245\" \/>2\ufe0f\u20e3 <strong data-start=\"249\" data-end=\"292\">Greatest Lower Bound (GLB) \u2192 Meet ( \u2227 )<\/strong><\/p>\n<p data-start=\"296\" data-end=\"363\"><strong data-start=\"298\" data-end=\"361\">Graphically, lattices are represented using Hasse diagrams.<\/strong><\/p>\n<h3 data-start=\"370\" data-end=\"425\"><strong data-start=\"373\" data-end=\"423\">\u00a0Example 1: Check if a Poset Forms a Lattice<\/strong><\/h3>\n<h3 data-start=\"426\" data-end=\"510\"><strong data-start=\"430\" data-end=\"444\">Given Set:<\/strong> <span class=\"katex\"><span class=\"katex-mathml\">L={1,2,3,6}L = \\{ 1, 2, 3, 6 \\}<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">L<\/span><span class=\"mrel\">=<\/span><\/span><span class=\"base\"><span class=\"mopen\">{<\/span><span class=\"mord\">1<\/span><span class=\"mpunct\">,<\/span><span class=\"mord\">2<\/span><span class=\"mpunct\">,<\/span><span class=\"mord\">3<\/span><span class=\"mpunct\">,<\/span><span class=\"mord\">6<\/span><span class=\"mclose\">}<\/span><\/span><\/span><\/span> under <strong data-start=\"478\" data-end=\"508\">divisibility relation (|).<\/strong><\/h3>\n<p data-start=\"511\" data-end=\"569\">\u00a0We check <strong data-start=\"523\" data-end=\"552\">LUB (Join) and GLB (Meet)<\/strong> for each pair.<\/p>\n<table data-start=\"571\" data-end=\"844\">\n<thead data-start=\"571\" data-end=\"632\">\n<tr data-start=\"571\" data-end=\"632\">\n<th data-start=\"571\" data-end=\"589\">Elements (a, b)<\/th>\n<th data-start=\"589\" data-end=\"610\">Join (a \u2228 b) = LCM<\/th>\n<th data-start=\"610\" data-end=\"632\">Meet (a \u2227 b) = GCD<\/th>\n<\/tr>\n<\/thead>\n<tbody data-start=\"685\" data-end=\"844\">\n<tr data-start=\"685\" data-end=\"724\">\n<td>(1,2)<\/td>\n<td>LCM(1,2) = 2<\/td>\n<td>GCD(1,2) = 1<\/td>\n<\/tr>\n<tr data-start=\"725\" data-end=\"764\">\n<td>(2,3)<\/td>\n<td>LCM(2,3) = 6<\/td>\n<td>GCD(2,3) = 1<\/td>\n<\/tr>\n<tr data-start=\"765\" data-end=\"804\">\n<td>(2,6)<\/td>\n<td>LCM(2,6) = 6<\/td>\n<td>GCD(2,6) = 2<\/td>\n<\/tr>\n<tr data-start=\"805\" data-end=\"844\">\n<td>(3,6)<\/td>\n<td>LCM(3,6) = 6<\/td>\n<td>GCD(3,6) = 3<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p data-start=\"846\" data-end=\"933\">\u2714 Since every pair has a <strong data-start=\"871\" data-end=\"885\">Join ( \u2228 )<\/strong> and <strong data-start=\"890\" data-end=\"904\">Meet ( \u2227 )<\/strong>, this forms a <strong data-start=\"919\" data-end=\"930\">lattice<\/strong>.<\/p>\n<p data-start=\"935\" data-end=\"973\"><strong data-start=\"938\" data-end=\"971\">Hasse Diagram Representation:<\/strong><\/p>\n<div class=\"contain-inline-size rounded-md border-[0.5px] border-token-border-medium relative bg-token-sidebar-surface-primary dark:bg-gray-950\">\n<div class=\"flex items-center text-token-text-secondary px-4 py-2 text-xs font-sans justify-between rounded-t-[5px] h-9 bg-token-sidebar-surface-primary dark:bg-token-main-surface-secondary select-none\">markdown<\/div>\n<div class=\"sticky top-9 md:top-[5.75rem]\">\n<div class=\"absolute bottom-0 right-2 flex h-9 items-center\">\n<div class=\"flex items-center rounded bg-token-sidebar-surface-primary px-2 font-sans text-xs text-token-text-secondary dark:bg-token-main-surface-secondary\"><span class=\"\" data-state=\"closed\"><button class=\"flex gap-1 items-center select-none px-4 py-1\" aria-label=\"Copy\">Copy<\/button><\/span><span class=\"\" data-state=\"closed\"><button class=\"flex select-none items-center gap-1\">Edit<\/button><\/span><\/div>\n<\/div>\n<\/div>\n<div class=\"overflow-y-auto p-4\" dir=\"ltr\"><code class=\"!whitespace-pre\"><span class=\"hljs-code\">      6<br \/>\n\/ \\<br \/>\n2   3<br \/>\n\\ \/<br \/>\n1<br \/>\n<\/span><\/code><\/div>\n<\/div>\n<h3 data-start=\"1032\" data-end=\"1081\"><strong data-start=\"1035\" data-end=\"1079\">\u00a0Example 2: Complemented Lattice Check<\/strong><\/h3>\n<p data-start=\"1082\" data-end=\"1127\">A <strong data-start=\"1084\" data-end=\"1121\">lattice (L, \u2228, \u2227) is complemented<\/strong> if:<\/p>\n<ul data-start=\"1128\" data-end=\"1284\">\n<li data-start=\"1128\" data-end=\"1183\">It is <strong data-start=\"1136\" data-end=\"1147\">bounded<\/strong> (Has <strong data-start=\"1153\" data-end=\"1179\">Top (1) and Bottom (0)<\/strong>).<\/li>\n<li data-start=\"1184\" data-end=\"1284\">Every element <strong data-start=\"1200\" data-end=\"1205\">a<\/strong> has a <strong data-start=\"1212\" data-end=\"1229\">complement a&#8217;<\/strong> such that:\n<ul data-start=\"1245\" data-end=\"1284\">\n<li data-start=\"1245\" data-end=\"1263\"><strong data-start=\"1247\" data-end=\"1261\">a \u2228 a&#8217; = 1<\/strong><\/li>\n<li data-start=\"1266\" data-end=\"1284\"><strong data-start=\"1268\" data-end=\"1282\">a \u2227 a&#8217; = 0<\/strong><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p data-start=\"1286\" data-end=\"1378\"><strong data-start=\"1288\" data-end=\"1316\">Boolean Algebra Example:<\/strong><br data-start=\"1316\" data-end=\"1319\" \/>Elements <strong data-start=\"1328\" data-end=\"1337\">{0,1}<\/strong> form a <strong data-start=\"1345\" data-end=\"1369\">complemented lattice<\/strong> since:<\/p>\n<ul data-start=\"1379\" data-end=\"1430\">\n<li data-start=\"1379\" data-end=\"1401\"><strong data-start=\"1381\" data-end=\"1399\">0\u2019 = 1, 1\u2019 = 0<\/strong><\/li>\n<li data-start=\"1402\" data-end=\"1430\"><strong data-start=\"1404\" data-end=\"1428\">0 \u2228 1 = 1, 0 \u2227 1 = 0<\/strong><\/li>\n<\/ul>\n<p data-start=\"1432\" data-end=\"1470\"><strong data-start=\"1435\" data-end=\"1468\">Hasse Diagram Representation:<\/strong><\/p>\n<div class=\"contain-inline-size rounded-md border-[0.5px] border-token-border-medium relative bg-token-sidebar-surface-primary dark:bg-gray-950\">\n<div class=\"flex items-center text-token-text-secondary px-4 py-2 text-xs font-sans justify-between rounded-t-[5px] h-9 bg-token-sidebar-surface-primary dark:bg-token-main-surface-secondary select-none\">mathematica<\/div>\n<div class=\"sticky top-9 md:top-[5.75rem]\">\n<div class=\"absolute bottom-0 right-2 flex h-9 items-center\">\n<div class=\"flex items-center rounded bg-token-sidebar-surface-primary px-2 font-sans text-xs text-token-text-secondary dark:bg-token-main-surface-secondary\"><span class=\"\" data-state=\"closed\"><button class=\"flex gap-1 items-center select-none px-4 py-1\" aria-label=\"Copy\">Copy<\/button><\/span><span class=\"\" data-state=\"closed\"><button class=\"flex select-none items-center gap-1\">Edit<\/button><\/span><\/div>\n<\/div>\n<\/div>\n<div class=\"overflow-y-auto p-4\" dir=\"ltr\"><code class=\"!whitespace-pre\">   <span class=\"hljs-number\">1<\/span>  <span class=\"hljs-punctuation\">(<\/span><span class=\"hljs-built_in\">Top<\/span><span class=\"hljs-punctuation\">)<\/span><br \/>\n<span class=\"hljs-operator\">|<\/span><br \/>\n<span class=\"hljs-number\">0<\/span>  <span class=\"hljs-punctuation\">(<\/span><span class=\"hljs-built_in\">Bottom<\/span><span class=\"hljs-punctuation\">)<\/span><br \/>\n<\/code><\/div>\n<\/div>\n<h3 data-start=\"1517\" data-end=\"1566\"><strong data-start=\"1520\" data-end=\"1564\">\u00a0Example 3: Distributive Lattice Check<\/strong><\/h3>\n<p data-start=\"1567\" data-end=\"1615\">A <strong data-start=\"1569\" data-end=\"1596\">lattice is distributive<\/strong> if it satisfies:<\/p>\n<ul data-start=\"1616\" data-end=\"1695\">\n<li data-start=\"1616\" data-end=\"1655\"><strong data-start=\"1618\" data-end=\"1653\">a \u2227 (b \u2228 c) = (a \u2227 b) \u2228 (a \u2227 c)<\/strong><\/li>\n<li data-start=\"1656\" data-end=\"1695\"><strong data-start=\"1658\" data-end=\"1693\">a \u2228 (b \u2227 c) = (a \u2228 b) \u2227 (a \u2228 c)<\/strong><\/li>\n<\/ul>\n<p data-start=\"1697\" data-end=\"1776\"><strong data-start=\"1699\" data-end=\"1721\">Power Set Example:<\/strong> <span class=\"katex\"><span class=\"katex-mathml\">P(S)={\u2205,{a},{b},{a,b}}P(S) = \\{ \\emptyset, \\{a\\}, \\{b\\}, \\{a, b\\} \\}<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">P<\/span><span class=\"mopen\">(<\/span><span class=\"mord mathnormal\">S<\/span><span class=\"mclose\">)<\/span><span class=\"mrel\">=<\/span><\/span><span class=\"base\"><span class=\"mopen\">{<\/span><span class=\"mord\">\u2205<\/span><span class=\"mpunct\">,<\/span><span class=\"mopen\">{<\/span><span class=\"mord mathnormal\">a<\/span><span class=\"mclose\">}<\/span><span class=\"mpunct\">,<\/span><span class=\"mopen\">{<\/span><span class=\"mord mathnormal\">b<\/span><span class=\"mclose\">}<\/span><span class=\"mpunct\">,<\/span><span class=\"mopen\">{<\/span><span class=\"mord mathnormal\">a<\/span><span class=\"mpunct\">,<\/span><span class=\"mord mathnormal\">b<\/span><span class=\"mclose\">}}<\/span><\/span><\/span><\/span><\/p>\n<ul data-start=\"1777\" data-end=\"1873\">\n<li data-start=\"1777\" data-end=\"1873\"><strong data-start=\"1779\" data-end=\"1794\">Operations:<\/strong>\n<ul data-start=\"1799\" data-end=\"1873\">\n<li data-start=\"1799\" data-end=\"1831\">Join ( \u2228 ) = <strong data-start=\"1814\" data-end=\"1829\">Union ( \u222a )<\/strong><\/li>\n<li data-start=\"1834\" data-end=\"1873\">Meet ( \u2227 ) = <strong data-start=\"1849\" data-end=\"1871\">Intersection ( \u2229 )<\/strong><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p data-start=\"1875\" data-end=\"1964\">\u00a0Since <strong data-start=\"1883\" data-end=\"1923\">power sets satisfy distributive laws<\/strong>, they form a <strong data-start=\"1937\" data-end=\"1961\">distributive lattice<\/strong>.<\/p>\n<p data-start=\"1966\" data-end=\"2004\"><strong data-start=\"1969\" data-end=\"2002\">Hasse Diagram Representation:<\/strong><\/p>\n<div class=\"contain-inline-size rounded-md border-[0.5px] border-token-border-medium relative bg-token-sidebar-surface-primary dark:bg-gray-950\">\n<div class=\"flex items-center text-token-text-secondary px-4 py-2 text-xs font-sans justify-between rounded-t-[5px] h-9 bg-token-sidebar-surface-primary dark:bg-token-main-surface-secondary select-none\">css<\/div>\n<div class=\"sticky top-9 md:top-[5.75rem]\">\n<div class=\"absolute bottom-0 right-2 flex h-9 items-center\">\n<div class=\"flex items-center rounded bg-token-sidebar-surface-primary px-2 font-sans text-xs text-token-text-secondary dark:bg-token-main-surface-secondary\"><span class=\"\" data-state=\"closed\"><button class=\"flex gap-1 items-center select-none px-4 py-1\" aria-label=\"Copy\">Copy<\/button><\/span><span class=\"\" data-state=\"closed\"><button class=\"flex select-none items-center gap-1\">Edit<\/button><\/span><\/div>\n<\/div>\n<\/div>\n<div class=\"overflow-y-auto p-4\" dir=\"ltr\"><code class=\"!whitespace-pre\">     {<span class=\"hljs-selector-tag\">a<\/span>, <span class=\"hljs-selector-tag\">b<\/span>}<br \/>\n\/    \\<br \/>\n{<span class=\"hljs-selector-tag\">a<\/span>}    {<span class=\"hljs-selector-tag\">b<\/span>}<br \/>\n\\    \/<br \/>\n\u2205 (empty set)<br \/>\n<\/code><\/div>\n<\/div>\n<h2 data-start=\"2089\" data-end=\"2111\"><strong data-start=\"2092\" data-end=\"2109\">\u00a0Conclusion<\/strong><\/h2>\n<p data-start=\"2112\" data-end=\"2311\">\u2714 <strong data-start=\"2114\" data-end=\"2126\">Lattice:<\/strong> Poset where each pair has <strong data-start=\"2153\" data-end=\"2180\">Join ( \u2228 ) &amp; Meet ( \u2227 )<\/strong>.<br data-start=\"2181\" data-end=\"2184\" \/>\u2714 <strong data-start=\"2186\" data-end=\"2211\">Complemented Lattice:<\/strong> Has <strong data-start=\"2216\" data-end=\"2245\">Top, Bottom &amp; Complements<\/strong>.<br data-start=\"2246\" data-end=\"2249\" \/>\u2714 <strong data-start=\"2251\" data-end=\"2276\">Distributive Lattice:<\/strong> Satisfies <strong data-start=\"2287\" data-end=\"2308\">Distributive Laws<\/strong>.<\/p>\n<p data-start=\"2313\" data-end=\"2396\" data-is-last-node=\"\" data-is-only-node=\"\">Would you like <strong data-start=\"2328\" data-end=\"2378\">more solved problems or real-life applications<\/strong> of lattices?<\/p>\n<h3 data-start=\"2313\" data-end=\"2396\"><a href=\"https:\/\/igntu.ac.in\/eContent\/IGNTU-eContent-536640959349-BCA-2-Mr.SudeshKumar-DiscreteMathematics-Unit-4.pdf\" target=\"_blank\" rel=\"noopener\">Day 03Part 13-Example based on lattice in discrete mathematics with all the basic concept.<\/a><\/h3>\n<h3 class=\"LC20lb MBeuO DKV0Md\"><a href=\"https:\/\/www2.cs.uh.edu\/~arjun\/courses\/ds\/DiscMaths4CompSc.pdf\" target=\"_blank\" rel=\"noopener\">Discrete Mathematics for Computer Science<\/a><\/h3>\n<h3 class=\"LC20lb MBeuO DKV0Md\"><a href=\"https:\/\/math.hawaii.edu\/~jb\/math618\/LTNotes.pdf\" target=\"_blank\" rel=\"noopener\">Notes on Lattice Theory<\/a><\/h3>\n<p class=\"\" data-start=\"0\" data-end=\"34\">Here\u2019s a detailed explanation for:<\/p>\n<hr class=\"\" data-start=\"36\" data-end=\"39\" \/>\n<h2 class=\"\" data-start=\"41\" data-end=\"126\">\ud83d\udcd8 <strong data-start=\"47\" data-end=\"126\">Day 03 \u2013 Part 13: Example-Based Learning on Lattices (Discrete Mathematics)<\/strong><\/h2>\n<h3 class=\"\" data-start=\"128\" data-end=\"204\">\ud83d\udcda <strong data-start=\"135\" data-end=\"145\">Topic:<\/strong> Example-Based Concepts of Lattices in Discrete Mathematics<\/h3>\n<hr class=\"\" data-start=\"206\" data-end=\"209\" \/>\n<h3 class=\"\" data-start=\"211\" data-end=\"264\">\ud83d\udd36 <strong data-start=\"218\" data-end=\"264\">\ud83d\udd38 Basic Concept Recap: What is a Lattice?<\/strong><\/h3>\n<p class=\"\" data-start=\"266\" data-end=\"341\">A <strong data-start=\"268\" data-end=\"279\">lattice<\/strong> is a special kind of <strong data-start=\"301\" data-end=\"334\">partially ordered set (poset)<\/strong> where:<\/p>\n<p class=\"\" data-start=\"343\" data-end=\"386\">For <strong data-start=\"347\" data-end=\"367\">any two elements<\/strong> <code data-start=\"368\" data-end=\"371\">a<\/code> and <code data-start=\"376\" data-end=\"379\">b<\/code>, both:<\/p>\n<ul data-start=\"387\" data-end=\"471\">\n<li class=\"\" data-start=\"387\" data-end=\"427\">\n<p class=\"\" data-start=\"389\" data-end=\"427\"><strong data-start=\"389\" data-end=\"417\">Join (Least Upper Bound)<\/strong> \u2192 <code data-start=\"420\" data-end=\"427\">a \u2228 b<\/code><\/p>\n<\/li>\n<li class=\"\" data-start=\"428\" data-end=\"471\">\n<p class=\"\" data-start=\"430\" data-end=\"471\"><strong data-start=\"430\" data-end=\"461\">Meet (Greatest Lower Bound)<\/strong> \u2192 <code data-start=\"464\" data-end=\"471\">a \u2227 b<\/code><\/p>\n<\/li>\n<\/ul>\n<p class=\"\" data-start=\"473\" data-end=\"502\">must <strong data-start=\"478\" data-end=\"501\">exist and be unique<\/strong>.<\/p>\n<blockquote data-start=\"504\" data-end=\"605\">\n<p class=\"\" data-start=\"506\" data-end=\"605\">This means: A lattice allows for combining and comparing any two elements using \u2228 and \u2227 operations.<\/p>\n<\/blockquote>\n<hr class=\"\" data-start=\"607\" data-end=\"610\" \/>\n<h3 class=\"\" data-start=\"612\" data-end=\"655\">\ud83e\udde9 <strong data-start=\"619\" data-end=\"655\">Example 1: Set of Divisors of 12<\/strong><\/h3>\n<p class=\"\" data-start=\"657\" data-end=\"688\">Let <strong data-start=\"661\" data-end=\"688\">S = {1, 2, 3, 4, 6, 12}<\/strong><\/p>\n<p class=\"\" data-start=\"690\" data-end=\"763\"><strong data-start=\"690\" data-end=\"703\">Relation:<\/strong> <code data-start=\"704\" data-end=\"711\">a \u2264 b<\/code> if <code data-start=\"715\" data-end=\"718\">a<\/code> divides <code data-start=\"727\" data-end=\"730\">b<\/code><br data-start=\"730\" data-end=\"733\" \/>This forms a <strong data-start=\"746\" data-end=\"763\">partial order<\/strong><\/p>\n<h4 class=\"\" data-start=\"765\" data-end=\"803\">\ud83d\udc49 Let\u2019s Test Lattice Conditions:<\/h4>\n<p class=\"\" data-start=\"805\" data-end=\"827\">Pick any two elements:<\/p>\n<ul data-start=\"829\" data-end=\"971\">\n<li class=\"\" data-start=\"829\" data-end=\"908\">\n<p class=\"\" data-start=\"831\" data-end=\"840\"><code data-start=\"831\" data-end=\"840\">2 and 3<\/code><\/p>\n<ul data-start=\"843\" data-end=\"908\">\n<li class=\"\" data-start=\"843\" data-end=\"873\">\n<p class=\"\" data-start=\"845\" data-end=\"873\">GCD = 1 \u2192 meet (<code data-start=\"861\" data-end=\"868\">2 \u2227 3<\/code>) = 1<\/p>\n<\/li>\n<li class=\"\" data-start=\"876\" data-end=\"908\">\n<p class=\"\" data-start=\"878\" data-end=\"908\">LCM = 6 \u2192 join (<code data-start=\"894\" data-end=\"901\">2 \u2228 3<\/code>) = 6 \u2705<\/p>\n<\/li>\n<\/ul>\n<\/li>\n<li class=\"\" data-start=\"910\" data-end=\"971\">\n<p class=\"\" data-start=\"912\" data-end=\"921\"><code data-start=\"912\" data-end=\"921\">4 and 6<\/code><\/p>\n<ul data-start=\"924\" data-end=\"971\">\n<li class=\"\" data-start=\"924\" data-end=\"944\">\n<p class=\"\" data-start=\"926\" data-end=\"944\">GCD = 2 \u2192 meet = 2<\/p>\n<\/li>\n<li class=\"\" data-start=\"947\" data-end=\"971\">\n<p class=\"\" data-start=\"949\" data-end=\"971\">LCM = 12 \u2192 join = 12 \u2705<\/p>\n<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p class=\"\" data-start=\"973\" data-end=\"1034\">All such pairs satisfy meet and join \u2192 So <strong data-start=\"1015\" data-end=\"1033\">S is a lattice<\/strong>.<\/p>\n<p class=\"\" data-start=\"1036\" data-end=\"1071\">\u2705 <strong data-start=\"1038\" data-end=\"1052\">Meet = GCD<\/strong><br data-start=\"1052\" data-end=\"1055\" \/>\u2705 <strong data-start=\"1057\" data-end=\"1071\">Join = LCM<\/strong><\/p>\n<h4 class=\"\" data-start=\"1073\" data-end=\"1094\">\u2705 Hasse Diagram:<\/h4>\n<div class=\"contain-inline-size rounded-md border-[0.5px] border-token-border-medium relative bg-token-sidebar-surface-primary\">\n<div class=\"flex items-center text-token-text-secondary px-4 py-2 text-xs font-sans justify-between h-9 bg-token-sidebar-surface-primary dark:bg-token-main-surface-secondary select-none rounded-t-[5px]\">markdown<\/div>\n<div class=\"sticky top-9\">\n<div class=\"absolute end-0 bottom-0 flex h-9 items-center pe-2\">\n<div class=\"bg-token-sidebar-surface-primary text-token-text-secondary dark:bg-token-main-surface-secondary flex items-center rounded-sm px-2 font-sans text-xs\"><button class=\"flex gap-1 items-center select-none px-4 py-1\" aria-label=\"Copy\">Copy<\/button><span class=\"\" data-state=\"closed\"><button class=\"flex items-center gap-1 px-4 py-1 select-none\">Edit<\/button><\/span><\/div>\n<\/div>\n<\/div>\n<div class=\"overflow-y-auto p-4\" dir=\"ltr\"><code class=\"whitespace-pre!\"><span class=\"hljs-code\">        12<br \/>\n       \/  \\<br \/>\n      4    6<br \/>\n     \/ \\  \/ \\<br \/>\n    2   3   |<br \/>\n     \\  |  \/<br \/>\n        1<br \/>\n<\/span><\/code><\/div>\n<\/div>\n<hr class=\"\" data-start=\"1192\" data-end=\"1195\" \/>\n<h3 class=\"\" data-start=\"1197\" data-end=\"1238\">\ud83e\udde9 <strong data-start=\"1204\" data-end=\"1238\">Example 2: Power Set of {a, b}<\/strong><\/h3>\n<p class=\"\" data-start=\"1240\" data-end=\"1284\">Let P = <strong data-start=\"1248\" data-end=\"1261\">P({a, b})<\/strong> = {\u2205, {a}, {b}, {a,b}}<\/p>\n<p class=\"\" data-start=\"1286\" data-end=\"1301\"><strong data-start=\"1286\" data-end=\"1301\">Operations:<\/strong><\/p>\n<ul data-start=\"1302\" data-end=\"1350\">\n<li class=\"\" data-start=\"1302\" data-end=\"1322\">\n<p class=\"\" data-start=\"1304\" data-end=\"1322\">Join = Union ( \u222a )<\/p>\n<\/li>\n<li class=\"\" data-start=\"1323\" data-end=\"1350\">\n<p class=\"\" data-start=\"1325\" data-end=\"1350\">Meet = Intersection ( \u2229 )<\/p>\n<\/li>\n<\/ul>\n<div class=\"_tableContainer_16hzy_1\">\n<div class=\"_tableWrapper_16hzy_14 group flex w-fit flex-col-reverse\">\n<table class=\"w-fit min-w-(--thread-content-width)\" data-start=\"1352\" data-end=\"1591\">\n<thead data-start=\"1352\" data-end=\"1399\">\n<tr data-start=\"1352\" data-end=\"1399\">\n<th data-start=\"1352\" data-end=\"1363\" data-col-size=\"sm\">A<\/th>\n<th data-start=\"1363\" data-end=\"1374\" data-col-size=\"sm\">B<\/th>\n<th data-start=\"1374\" data-end=\"1386\" data-col-size=\"sm\">A \u222a B<\/th>\n<th data-start=\"1386\" data-end=\"1399\" data-col-size=\"sm\">A \u2229 B<\/th>\n<\/tr>\n<\/thead>\n<tbody data-start=\"1448\" data-end=\"1591\">\n<tr data-start=\"1448\" data-end=\"1495\">\n<td data-start=\"1448\" data-end=\"1459\" data-col-size=\"sm\">\u2205<\/td>\n<td data-col-size=\"sm\" data-start=\"1459\" data-end=\"1470\">{a}<\/td>\n<td data-col-size=\"sm\" data-start=\"1470\" data-end=\"1482\">{a}<\/td>\n<td data-col-size=\"sm\" data-start=\"1482\" data-end=\"1495\">\u2205<\/td>\n<\/tr>\n<tr data-start=\"1496\" data-end=\"1543\">\n<td data-start=\"1496\" data-end=\"1507\" data-col-size=\"sm\">{a}<\/td>\n<td data-col-size=\"sm\" data-start=\"1507\" data-end=\"1518\">{b}<\/td>\n<td data-col-size=\"sm\" data-start=\"1518\" data-end=\"1530\">{a,b}<\/td>\n<td data-col-size=\"sm\" data-start=\"1530\" data-end=\"1543\">\u2205<\/td>\n<\/tr>\n<tr data-start=\"1544\" data-end=\"1591\">\n<td data-start=\"1544\" data-end=\"1555\" data-col-size=\"sm\">{a}<\/td>\n<td data-col-size=\"sm\" data-start=\"1555\" data-end=\"1566\">{a,b}<\/td>\n<td data-col-size=\"sm\" data-start=\"1566\" data-end=\"1578\">{a,b}<\/td>\n<td data-col-size=\"sm\" data-start=\"1578\" data-end=\"1591\">{a}<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<div class=\"sticky end-(--thread-content-margin) h-0 self-end select-none\">\n<div class=\"absolute end-0 flex items-end\"><\/div>\n<\/div>\n<\/div>\n<\/div>\n<p class=\"\" data-start=\"1593\" data-end=\"1661\">\u2705 Every pair has union and intersection<br data-start=\"1632\" data-end=\"1635\" \/>\u2705 So this is a <strong data-start=\"1650\" data-end=\"1661\">lattice<\/strong><\/p>\n<hr class=\"\" data-start=\"1663\" data-end=\"1666\" \/>\n<h3 class=\"\" data-start=\"1668\" data-end=\"1709\">\ud83d\udd39 <strong data-start=\"1675\" data-end=\"1709\">Distributive and Complemented?<\/strong><\/h3>\n<ul data-start=\"1711\" data-end=\"1828\">\n<li class=\"\" data-start=\"1711\" data-end=\"1772\">\n<p class=\"\" data-start=\"1713\" data-end=\"1772\">\u2705 <strong data-start=\"1715\" data-end=\"1732\">Distributive:<\/strong> Yes, power sets are always distributive<\/p>\n<\/li>\n<li class=\"\" data-start=\"1773\" data-end=\"1828\">\n<p class=\"\" data-start=\"1775\" data-end=\"1828\">\u2705 <strong data-start=\"1777\" data-end=\"1794\">Complemented:<\/strong> Yes, each subset has a complement<\/p>\n<\/li>\n<\/ul>\n<p class=\"\" data-start=\"1830\" data-end=\"1866\">Hence, this is a <strong data-start=\"1847\" data-end=\"1866\">Boolean lattice<\/strong><\/p>\n<hr class=\"\" data-start=\"1868\" data-end=\"1871\" \/>\n<h3 class=\"\" data-start=\"1873\" data-end=\"1908\">\ud83d\udca1 <strong data-start=\"1880\" data-end=\"1908\">Quick Properties Summary<\/strong><\/h3>\n<div class=\"_tableContainer_16hzy_1\">\n<div class=\"_tableWrapper_16hzy_14 group flex w-fit flex-col-reverse\">\n<table class=\"w-fit min-w-(--thread-content-width)\" data-start=\"1910\" data-end=\"2618\">\n<thead data-start=\"1910\" data-end=\"2009\">\n<tr data-start=\"1910\" data-end=\"2009\">\n<th data-start=\"1910\" data-end=\"1931\" data-col-size=\"sm\">Type<\/th>\n<th data-start=\"1931\" data-end=\"1979\" data-col-size=\"md\">Condition<\/th>\n<th data-start=\"1979\" data-end=\"2009\" data-col-size=\"sm\">Example<\/th>\n<\/tr>\n<\/thead>\n<tbody data-start=\"2110\" data-end=\"2618\">\n<tr data-start=\"2110\" data-end=\"2209\">\n<td data-start=\"2110\" data-end=\"2131\" data-col-size=\"sm\">Lattice<\/td>\n<td data-col-size=\"md\" data-start=\"2131\" data-end=\"2179\">\u2200 a,b: a \u2227 b and a \u2228 b exist<\/td>\n<td data-col-size=\"sm\" data-start=\"2179\" data-end=\"2209\">Divisors of 12<\/td>\n<\/tr>\n<tr data-start=\"2210\" data-end=\"2309\">\n<td data-start=\"2210\" data-end=\"2231\" data-col-size=\"sm\">Bounded Lattice<\/td>\n<td data-col-size=\"md\" data-start=\"2231\" data-end=\"2279\">Has 0 and 1 (min and max)<\/td>\n<td data-col-size=\"sm\" data-start=\"2279\" data-end=\"2309\">Power set of {a,b}<\/td>\n<\/tr>\n<tr data-start=\"2310\" data-end=\"2418\">\n<td data-start=\"2310\" data-end=\"2331\" data-col-size=\"sm\">Complemented<\/td>\n<td data-col-size=\"md\" data-start=\"2331\" data-end=\"2386\">Each element has complement (a \u2227 a\u2032 = 0, a \u2228 a\u2032 = 1)<\/td>\n<td data-col-size=\"sm\" data-start=\"2386\" data-end=\"2418\">Power set or Boolean algebra<\/td>\n<\/tr>\n<tr data-start=\"2419\" data-end=\"2518\">\n<td data-start=\"2419\" data-end=\"2440\" data-col-size=\"sm\">Distributive<\/td>\n<td data-col-size=\"md\" data-start=\"2440\" data-end=\"2488\">\u2227 and \u2228 distribute over each other<\/td>\n<td data-col-size=\"sm\" data-start=\"2488\" data-end=\"2518\">Power set, numeric min\/max<\/td>\n<\/tr>\n<tr data-start=\"2519\" data-end=\"2618\">\n<td data-start=\"2519\" data-end=\"2540\" data-col-size=\"sm\">Boolean Lattice<\/td>\n<td data-col-size=\"md\" data-start=\"2540\" data-end=\"2588\">Distributive + Complemented<\/td>\n<td data-col-size=\"sm\" data-start=\"2588\" data-end=\"2618\">Power set of any set<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<div class=\"sticky end-(--thread-content-margin) h-0 self-end select-none\">\n<div class=\"absolute end-0 flex items-end\"><\/div>\n<\/div>\n<\/div>\n<\/div>\n<hr class=\"\" data-start=\"2620\" data-end=\"2623\" \/>\n<h3 class=\"\" data-start=\"2625\" data-end=\"2654\">\ud83d\udcdd <strong data-start=\"2632\" data-end=\"2654\">Practice Questions<\/strong><\/h3>\n<ol data-start=\"2656\" data-end=\"2896\">\n<li class=\"\" data-start=\"2656\" data-end=\"2720\">\n<p class=\"\" data-start=\"2659\" data-end=\"2720\">Is the set <code data-start=\"2670\" data-end=\"2688\">{1, 2, 3, 5, 15}<\/code> under divisibility a lattice?<\/p>\n<\/li>\n<li class=\"\" data-start=\"2721\" data-end=\"2806\">\n<p class=\"\" data-start=\"2724\" data-end=\"2806\">Draw Hasse diagram of power set P({x, y, z}) and show if it&#8217;s a Boolean lattice.<\/p>\n<\/li>\n<li class=\"\" data-start=\"2807\" data-end=\"2896\">\n<p class=\"\" data-start=\"2810\" data-end=\"2896\">Show with example whether lattice <code data-start=\"2844\" data-end=\"2855\">{0, 1, 2}<\/code> with min\/max forms distributive lattice.<\/p>\n<\/li>\n<\/ol>\n<hr class=\"\" data-start=\"2898\" data-end=\"2901\" \/>\n<h3 class=\"\" data-start=\"2903\" data-end=\"2929\">\ud83c\udf81 <strong data-start=\"2910\" data-end=\"2929\">Need More Help?<\/strong><\/h3>\n<p class=\"\" data-start=\"2931\" data-end=\"2942\">I can send:<\/p>\n<ul data-start=\"2943\" data-end=\"3047\">\n<li class=\"\" data-start=\"2943\" data-end=\"2974\">\n<p class=\"\" data-start=\"2945\" data-end=\"2974\">\u2705 PDF Notes of these examples<\/p>\n<\/li>\n<li class=\"\" data-start=\"2975\" data-end=\"3011\">\n<p class=\"\" data-start=\"2977\" data-end=\"3011\">\u2705 Practice MCQs and solved answers<\/p>\n<\/li>\n<li class=\"\" data-start=\"3012\" data-end=\"3047\">\n<p class=\"\" data-start=\"3014\" data-end=\"3047\">\u2705 Visual Hasse Diagrams (PNG\/PDF)<\/p>\n<\/li>\n<\/ul>\n<p class=\"\" data-start=\"3049\" data-end=\"3138\">Would you like me to prepare a <strong data-start=\"3080\" data-end=\"3101\">diagram worksheet<\/strong> or <strong data-start=\"3105\" data-end=\"3129\">animated explanation<\/strong> as well?<\/p>\n<h3 data-start=\"3049\" data-end=\"3138\"><a href=\"https:\/\/www.cmpe.boun.edu.tr\/sites\/default\/files\/cmpe220handouts_2013-3.pdf\" target=\"_blank\" rel=\"noopener\">Day 03Part 13-Example based on lattice in discrete mathematics with all the basic concept.<\/a><\/h3>\n","protected":false},"excerpt":{"rendered":"<p>Day 03Part 13-Example based on lattice in discrete mathematics with all the basic concept. [fvplayer id=&#8221;218&#8243;] \u00a0Examples Based on Lattice in Discrete Mathematics \u00a0Recap: What is a Lattice? A lattice is a partially ordered set (poset) (L, \u2264) where every pair of elements has:1\ufe0f\u20e3 Least Upper Bound (LUB) \u2192 Join ( \u2228 )2\ufe0f\u20e3 Greatest Lower [&hellip;]<\/p>\n","protected":false},"author":71,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[76],"tags":[],"class_list":["post-3017","post","type-post","status-publish","format-standard","hentry","category-discrete-mathematics"],"_links":{"self":[{"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/posts\/3017","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/users\/71"}],"replies":[{"embeddable":true,"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/comments?post=3017"}],"version-history":[{"count":0,"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/posts\/3017\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/media?parent=3017"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/categories?post=3017"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/tags?post=3017"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}