{ localUrl: '../page/order_lattice.html', arbitalUrl: 'https://arbital.com/p/order_lattice', rawJsonUrl: '../raw/46c.json', likeableId: '2643', likeableType: 'page', myLikeValue: '0', likeCount: '2', dislikeCount: '0', likeScore: '2', individualLikes: [ 'EricBruylant', 'EricRogstad' ], pageId: 'order_lattice', edit: '29', editSummary: '', prevEdit: '28', currentEdit: '29', wasPublished: 'true', type: 'wiki', title: 'Lattice (Order Theory)', clickbait: 'A poset that is closed under binary joins and meets.', textLength: '7378', alias: 'order_lattice', externalUrl: '', sortChildrenBy: 'likes', hasVote: 'false', voteType: '', votesAnonymous: 'false', editCreatorId: 'KevinClancy', editCreatedAt: '2016-12-06 15:07:55', pageCreatorId: 'KevinClancy', pageCreatedAt: '2016-06-11 16:19:42', seeDomainId: '0', editDomainId: 'AlexeiAndreev', submitToDomainId: '0', isAutosave: 'false', isSnapshot: 'false', isLiveEdit: 'true', isMinorEdit: 'false', indirectTeacher: 'false', todoCount: '0', isEditorComment: 'false', isApprovedComment: 'true', isResolved: 'false', snapshotText: '', anchorContext: '', anchorText: '', anchorOffset: '0', mergedInto: '', isDeleted: 'false', viewCount: '149', text: '[summary:\nA **lattice** is a [-3rb] that is closed under binary [3rc joins and meets]. It follows from this definition that lattices are closed under all *finite* joins and meets, and that for all lattices $L$ and elements $p, q \\in L$, the following algebraic properties are satisfied:\n\n* [3h4 Associativity] of joins and meets: $(p \\vee q) \\vee r = p \\vee (q \\vee r)$, and $(p \\wedge q) \\wedge r = p \\wedge (q \\wedge r)$\n* [3jb Commutativity] of joins and meets: $p \\vee q = q \\vee p$ and $p \\wedge q = q \\wedge p$\n* Idempotency of joins and and meets: $p \\vee p = p$ and $p \\wedge p = p$\n* Absorption: $p \\vee (p \\wedge q) = p$ and $p \\wedge (p \\vee q) = p$ \n]\n\nA **lattice** is a [-3rb] that is closed under binary [3rc joins and meets]. \n\nLet $L$ be a lattice. Then for all $p,q,r \\in L$ the following properties are necessarily satisfied.\n\n* [3h4 Associativity] of joins and meets: $(p \\vee q) \\vee r = p \\vee (q \\vee r)$, and $(p \\wedge q) \\wedge r = p \\wedge (q \\wedge r)$\n* [3jb Commutativity] of joins and meets: $p \\vee q = q \\vee p$ and $p \\wedge q = q \\wedge p$\n* Idempotency of joins and and meets: $p \\vee p = p$ and $p \\wedge p = p$\n* Absorption: $p \\vee (p \\wedge q) = p$ and $p \\wedge (p \\vee q) = p$ \n\n%%hidden(Proofs):\n\nLemma 1: Let $P$ be a poset, $S \\subseteq P$, and $p \\in P$. If both $\\bigvee S$ and $(\\bigvee S) \\vee p$ exist then $\\bigvee (S \\cup \\{p\\})$ exists as well, and $(\\bigvee S) \\vee p = \\bigvee (S \\cup \\{p\\})$.\n\nProof: See the *Join fu* exercise in [4ll].\n\n## Associativity\nLet $L$ be a lattice and $p,q,r,s \\in L$ such that $s = p \\vee (q \\vee r)$. We apply the above lemma, along with commutativity and closure of lattices under binary joins, to get \n$$p \\vee (q \\vee r) = (q \\vee r) \\vee p = (\\bigvee \\{q, r\\}) \\vee p = \\bigvee (\\{q, r\\} \\cup \\{p\\}) =$$\n$$\\bigvee \\{ q, r, p \\} = \\bigvee (\\{p, q\\} \\cup \\{r\\}) = (\\bigvee \\{p, q\\}) \\vee r = (p \\vee q) \\vee r.$$\n\nBy duality, we also have the associativity of binary meets.\n\n## Commutativity\n\nLet $L$ be a lattice and $p,q \\in L$. Then $p \\vee q = \\bigvee \\{ p, q \\} = q \\vee p$. Binary joins are therefore commutative. By duality, binary meets are also commutative.\n\n## Idempotency\n\nLet $L$ be a lattice and $p \\in L$. Then $p \\vee p = \\bigvee \\{ p \\} = p$. The property that for all $p \\in L$, $p \\vee p = p$ is called *idempotency*. By duality, we also have the idempotency of meets: for all $p \\in L$, $p \\wedge p = p$.\n\n## Absorption\n\nSince $p \\wedge q$ is the greatest *lower bound* of $\\{p,q\\}$, $p \\wedge q \\leq p$. Because $p \\leq p$ and $(p \\wedge q) \\leq p$, $p$ is an upper bound of $\\{p, p \\wedge q\\}$, and so $p \\vee (p \\wedge q) \\leq p$. On the other hand, $p \\vee (p \\wedge q)$ is the least *upper bound* of $\\{p, p \\wedge q\\}$, and so $p \\leq p \\vee (p \\wedge q)$. By anti-symmetry, $p = p \\vee (p \\wedge q)$.\n\n%%\n\nClosure under finite joins and meets\n--------------------------------------------------------------\n\nLet $L$ be a lattice and $S = \\{ s_1, ..., s_n \\}$ be some finite subset of $L$. Then an inductive argument shows that $\\bigvee S$ exists. \n\n%%hidden(Proof):\nHere again, we will need Lemma 1, stated in the proofs of the four lattice properties.\n\nOur proof proceeds by induction on the cardinality of $S$.\n\nThe base case is $\\bigvee \\{ s_1 \\} = s_1 \\in L$. For the inductive step, we suppose that $\\bigvee \\{s_1, ..., s_i \\}$ exists. Then, applying lemma 1, we have $\\bigvee \\{s_1, ..., s_{i+1} \\} = \\bigvee \\{s_1, ..., s_i \\} \\vee s_{i+1}$. Applying our inductive hypothesis and closure under binary joins, we have $\\bigvee \\{s_1, ..., s_i \\} \\vee s_{i+1}$ exists. Lattices are therefore closed under all *finite* joins, not just binary ones. Dually, lattices are closed under all finite meets.\n%%\n\nBasic positive examples\n--------------\n\nHere are two Hasse diagrams of posets which are lattices.\n\n![A diamond shaped lattice](http://i.imgur.com/OlQnU07.png)\n\n%%%comment:\n\ndot source:\n\ndigraph G {\n node [width = 0.1, height = 0.1]\n edge [arrowhead = "none"]\n a [label = ""]\n b [label = ""]\n c [label = ""]\n d [label = ""]\n\n rankdir = BT;\n a -> b\n a -> c\n b -> d\n c -> d\n}\n%%%\n\n![A cube shaped lattice](http://i.imgur.com/L0x074n.png)\n\n%%%comment:\n\ndot source:\n\ndigraph G {\n node [width = 0.1, height = 0.1]\n edge [arrowhead = "none"]\n a [label = ""]\n b [label = ""]\n c [label = ""]\n d [label = ""]\n e [label = ""]\n f [label = ""]\n g [label = ""]\n h [label = ""]\n\n rankdir = BT;\n a -> b\n a -> c\n a -> d\n b -> e\n b -> f\n c -> e\n c -> g\n d -> f\n d -> g\n e -> h\n f -> h\n g -> h\n}\n\n%%%\n\nBasic negative examples\n------------------------------------\n\nHere are two Hasse diagrams of posets which are *not* lattices.\n\n![A simple non-lattice](http://i.imgur.com/DAeuYz0.png)\n\n%%%comment:\n\ndigraph G {\n node [width = 0.1, height = 0.1]\n edge [arrowhead = "none"]\n a [label = ""]\n b [label = ""]\n c [label = ""]\n d [label = ""]\n e [label = ""]\n f [label = ""]\n g [label = ""]\n h [label = ""]\n\n rankdir = BT;\n a -> b\n a -> c\n a -> d\n b -> e\n b -> f\n c -> e\n c -> g\n d -> f\n d -> g\n e -> h\n f -> h\n g -> h\n}\n\n%%%\n\nIn the above diagram, the two bottom elements have no common lower bounds. Therefore they have no meet, and so the depicted poset is not a lattice. However, it should be easy to verify that this poset is closed under binary joins.\n\n![Another simple non-lattice](http://i.imgur.com/5Vqk87u.png)\n\n%%%comment:\n\ndot source:\n\ndigraph G {\n node [width = 0.1, height = 0.1]\n edge [arrowhead = "none"]\n a [label = ""]\n b [label = ""]\n c [label = ""]\n d [label = ""]\n\n rankdir = BT;\n a -> b\n c -> d\n}\n\n%%%\n\nThe Hasse diagram of this poset has two connected components. No element from the left component will have a meet or a join with any element from the right component. The depicted poset is therefore *not* a lattice. \n\nThe connecting lemma\n--------------------\n\nThe connecting lemma states that for any lattice $L$ and $p,q \\in L$, $p \\vee q = p \\Leftrightarrow q \\leq p$ and dually, $p \\wedge q = p \\Leftrightarrow q \\geq p$. This simple but important lemma is so named because it establishes a connection between the lattice's join operator and its underlying poset order.\n\n%%hidden(Proof):\n\nWe prove $p \\vee q = p \\Leftrightarrow q \\leq p$; the other part follows from duality. If $p \\vee q = p$, then $p$ is an upper bound of both $p$ and $q$, and so $q \\leq p$. Going the other direction, suppose $q \\leq p$. Since $p$ is and upper bound of itself by reflexivity, it then follows that $p$ is an upper bound of $\\{p, q\\}$. There cannot be a lesser upper bound of $\\{p, q\\}$ because it would not be an upper bound of $p$. Hence, $p \\vee q = p$.\n\n%%\n\nLattices as algebraic structures\n-------------------------------------\n\nIt's also possible to formulate lattices as [3gx algebraic structures] $\\langle L, \\vee, \\wedge \\rangle$ satisfying the associativity, commutativity, idempotency, and absorption laws described above. A poset $\\langle L, \\leq \\rangle$ can then be defined such that for $p, q \\in L$, $p \\leq q$ whenever $p \\vee q = q$. It can be shown that this poset is closed under binary meets and joins, and that these meets and joins are equal to the corresponding meets and joins of the algebraic lattice.\n\nAdditional material\n-------------------------------\n\nFor more examples of lattices, see [574].\nFor some exercises involving the concepts introduced on this page, see [5ff].', metaText: '', isTextLoaded: 'true', isSubscribedToDiscussion: 'false', isSubscribedToUser: 'false', isSubscribedAsMaintainer: 'false', discussionSubscriberCount: '1', maintainerCount: '1', userSubscriberCount: '0', lastVisit: '', hasDraft: 'false', votes: [], voteSummary: [ '0', '0', '0', '0', '0', '0', '0', '0', '0', '0' ], muVoteSummary: '0', voteScaling: '0', currentUserVote: '-2', voteCount: '0', lockedVoteType: '', maxEditEver: '0', redLinkCount: '0', lockedBy: '', lockedUntil: '', nextPageId: '', prevPageId: '', usedAsMastery: 'true', proposalEditNum: '0', permissions: { edit: { has: 'false', reason: 'You don't have domain permission to edit this page' }, proposeEdit: { has: 'true', reason: '' }, delete: { has: 'false', reason: 'You don't have domain permission to delete this page' }, comment: { has: 'false', reason: 'You can't comment in this domain because you are not a member' }, proposeComment: { has: 'true', reason: '' } }, summaries: { Summary: 'A **lattice** is a [-3rb] that is closed under binary [3rc joins and meets]. It follows from this definition that lattices are closed under all *finite* joins and meets, and that for all lattices $L$ and elements $p, q \\in L$, the following algebraic properties are satisfied:\n\n* [3h4 Associativity] of joins and meets: $(p \\vee q) \\vee r = p \\vee (q \\vee r)$, and $(p \\wedge q) \\wedge r = p \\wedge (q \\wedge r)$\n* [3jb Commutativity] of joins and meets: $p \\vee q = q \\vee p$ and $p \\wedge q = q \\wedge p$\n* Idempotency of joins and and meets: $p \\vee p = p$ and $p \\wedge p = p$\n* Absorption: $p \\vee (p \\wedge q) = p$ and $p \\wedge (p \\vee q) = p$' }, creatorIds: [ 'KevinClancy', 'EricRogstad', 'AlexeiAndreev' ], childIds: [ 'poset_lattice_examples', 'poset_lattice_exercise' ], parentIds: [ 'order_theory' ], commentIds: [], questionIds: [], tagIds: [], relatedIds: [], markIds: [], explanations: [], learnMore: [ { id: '3779', parentId: 'order_lattice', childId: 'order_lattice', type: 'subject', creatorId: 'AlexeiAndreev', createdAt: '2016-06-17 21:58:56', level: '1', isStrong: 'false', everPublished: 'true' } ], requirements: [ { id: '3777', parentId: 'poset', childId: 'order_lattice', type: 'requirement', creatorId: 'AlexeiAndreev', createdAt: '2016-06-17 21:58:56', level: '2', isStrong: 'true', everPublished: 'true' }, { id: '3778', parentId: 'math_join', childId: 'order_lattice', type: 'requirement', creatorId: 'AlexeiAndreev', createdAt: '2016-06-17 21:58:56', level: '2', isStrong: 'true', everPublished: 'true' } ], subjects: [ { id: '3779', parentId: 'order_lattice', childId: 'order_lattice', type: 'subject', creatorId: 'AlexeiAndreev', createdAt: '2016-06-17 21:58:56', level: '1', isStrong: 'false', everPublished: 'true' } ], lenses: [ { id: '75', pageId: 'order_lattice', lensId: 'poset_lattice_examples', lensIndex: '0', lensName: 'Examples', lensSubtitle: '', createdBy: '299', createdAt: '2016-07-07 17:59:28', updatedBy: '299', updatedAt: '2016-07-07 18:00:57' }, { id: '93', pageId: 'order_lattice', lensId: 'poset_lattice_exercise', lensIndex: '1', lensName: 'Exercises', lensSubtitle: '', createdBy: '299', createdAt: '2016-07-16 18:53:22', updatedBy: '299', updatedAt: '2016-07-16 18:53:38' } ], lensParentId: '', pathPages: [], learnMoreTaughtMap: {}, learnMoreCoveredMap: {}, learnMoreRequiredMap: {}, editHistory: {}, domainSubmissions: {}, answers: [], answerCount: '0', commentCount: '0', newCommentCount: '0', linkedMarkCount: '0', changeLogs: [ { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20611', pageId: 'order_lattice', userId: 'KevinClancy', edit: '29', type: 'newEdit', createdAt: '2016-12-06 15:07:55', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20610', pageId: 'order_lattice', userId: 'KevinClancy', edit: '28', type: 'newEdit', createdAt: '2016-12-06 14:53:05', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20604', pageId: 'order_lattice', userId: 'KevinClancy', edit: '27', type: 'newEdit', createdAt: '2016-12-06 04:11:44', auxPageId: '', oldSettingsValue: '', newSettingsValue: 'bolded the word lattice for style guidelines' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '16992', pageId: 'order_lattice', userId: 'AlexeiAndreev', edit: '26', type: 'newEdit', createdAt: '2016-07-17 00:35:14', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '16948', pageId: 'order_lattice', userId: 'KevinClancy', edit: '0', type: 'newChild', createdAt: '2016-07-16 20:54:09', auxPageId: 'poset_lattice_examples', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '16900', pageId: 'order_lattice', userId: 'KevinClancy', edit: '25', type: 'newEdit', createdAt: '2016-07-16 18:58:04', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '16898', pageId: 'order_lattice', userId: 'KevinClancy', edit: '24', type: 'newEdit', createdAt: '2016-07-16 18:53:59', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '16896', pageId: 'order_lattice', userId: 'KevinClancy', edit: '0', type: 'deleteChild', createdAt: '2016-07-16 18:53:19', auxPageId: 'poset_lattice_examples', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '16894', pageId: 'order_lattice', userId: 'KevinClancy', edit: '0', type: 'newChild', createdAt: '2016-07-16 18:50:54', auxPageId: 'poset_lattice_exercise', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '16268', pageId: 'order_lattice', userId: 'KevinClancy', edit: '23', type: 'newEdit', createdAt: '2016-07-08 22:39:56', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '16267', pageId: 'order_lattice', userId: 'KevinClancy', edit: '22', type: 'newEdit', createdAt: '2016-07-08 22:38:37', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '16264', pageId: 'order_lattice', userId: 'EricRogstad', edit: '21', type: 'newEdit', createdAt: '2016-07-08 21:57:59', auxPageId: '', oldSettingsValue: '', newSettingsValue: 'fixed associativity greenlink' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '16032', pageId: 'order_lattice', userId: 'KevinClancy', edit: '20', type: 'newEdit', createdAt: '2016-07-07 18:01:42', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '16025', pageId: 'order_lattice', userId: 'KevinClancy', edit: '0', type: 'newChild', createdAt: '2016-07-07 17:52:53', auxPageId: 'poset_lattice_examples', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15196', pageId: 'order_lattice', userId: 'KevinClancy', edit: '19', type: 'newEdit', createdAt: '2016-07-03 17:00:30', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14960', pageId: 'order_lattice', userId: 'KevinClancy', edit: '18', type: 'newEdit', createdAt: '2016-06-30 15:02:14', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14959', pageId: 'order_lattice', userId: 'KevinClancy', edit: '17', type: 'newEdit', createdAt: '2016-06-30 15:01:05', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14842', pageId: 'order_lattice', userId: 'KevinClancy', edit: '16', type: 'newEdit', createdAt: '2016-06-30 01:37:58', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14841', pageId: 'order_lattice', userId: 'KevinClancy', edit: '0', type: 'deleteTag', createdAt: '2016-06-30 01:35:47', auxPageId: 'work_in_progress_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '2878', likeableType: 'changeLog', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [], id: '14839', pageId: 'order_lattice', userId: 'KevinClancy', edit: '15', type: 'newEdit', createdAt: '2016-06-30 01:34:24', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14833', pageId: 'order_lattice', userId: 'KevinClancy', edit: '13', type: 'newEdit', createdAt: '2016-06-29 23:20:52', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14456', pageId: 'order_lattice', userId: 'KevinClancy', edit: '12', type: 'newEdit', createdAt: '2016-06-23 16:50:18', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14455', pageId: 'order_lattice', userId: 'KevinClancy', edit: '11', type: 'newEdit', createdAt: '2016-06-23 16:37:35', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13550', pageId: 'order_lattice', userId: 'KevinClancy', edit: '10', type: 'newEdit', createdAt: '2016-06-17 15:28:22', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13549', pageId: 'order_lattice', userId: 'KevinClancy', edit: '9', type: 'newEdit', createdAt: '2016-06-17 15:25:10', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13531', pageId: 'order_lattice', userId: 'KevinClancy', edit: '8', type: 'newEdit', createdAt: '2016-06-17 15:07:15', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13529', pageId: 'order_lattice', userId: 'KevinClancy', edit: '7', type: 'newEdit', createdAt: '2016-06-17 15:05:10', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13184', pageId: 'order_lattice', userId: 'KevinClancy', edit: '6', type: 'newEdit', createdAt: '2016-06-15 23:36:22', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13178', pageId: 'order_lattice', userId: 'KevinClancy', edit: '5', type: 'newEdit', createdAt: '2016-06-15 23:05:05', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12503', pageId: 'order_lattice', userId: 'KevinClancy', edit: '4', type: 'newEdit', createdAt: '2016-06-12 20:03:58', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12502', pageId: 'order_lattice', userId: 'KevinClancy', edit: '3', type: 'newEdit', createdAt: '2016-06-12 19:56:41', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12418', pageId: 'order_lattice', userId: 'KevinClancy', edit: '2', type: 'newEdit', createdAt: '2016-06-11 16:22:46', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12414', pageId: 'order_lattice', userId: 'KevinClancy', edit: '0', type: 'newTeacher', createdAt: '2016-06-11 16:19:42', auxPageId: 'order_lattice', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12416', pageId: 'order_lattice', userId: 'KevinClancy', edit: '0', type: 'newSubject', createdAt: '2016-06-11 16:19:42', auxPageId: 'order_lattice', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12417', pageId: 'order_lattice', userId: 'KevinClancy', edit: '1', type: 'newEdit', createdAt: '2016-06-11 16:19:42', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12410', pageId: 'order_lattice', userId: 'KevinClancy', edit: '0', type: 'deleteParent', createdAt: '2016-06-11 16:19:08', auxPageId: 'poset', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12409', pageId: 'order_lattice', userId: 'KevinClancy', edit: '1', type: 'newParent', createdAt: '2016-06-11 16:19:00', auxPageId: 'poset', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12408', pageId: 'order_lattice', userId: 'KevinClancy', edit: '1', type: 'newTag', createdAt: '2016-06-11 16:18:51', auxPageId: 'work_in_progress_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12407', pageId: 'order_lattice', userId: 'KevinClancy', edit: '1', type: 'newRequirement', createdAt: '2016-06-11 16:17:58', auxPageId: 'math_join', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12406', pageId: 'order_lattice', userId: 'KevinClancy', edit: '1', type: 'newRequirement', createdAt: '2016-06-11 16:17:52', auxPageId: 'poset', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12405', pageId: 'order_lattice', userId: 'KevinClancy', edit: '1', type: 'newParent', createdAt: '2016-06-11 16:17:45', auxPageId: 'order_theory', oldSettingsValue: '', newSettingsValue: '' } ], feedSubmissions: [], searchStrings: {}, hasChildren: 'true', hasParents: 'true', redAliases: {}, improvementTagIds: [], nonMetaTagIds: [], todos: [], slowDownMap: 'null', speedUpMap: 'null', arcPageIds: 'null', contentRequests: {} }