{
  localUrl: '../page/poset.html',
  arbitalUrl: 'https://arbital.com/p/poset',
  rawJsonUrl: '../raw/3rb.json',
  likeableId: '2726',
  likeableType: 'page',
  myLikeValue: '0',
  likeCount: '5',
  dislikeCount: '0',
  likeScore: '5',
  individualLikes: [
    'AlexeiAndreev',
    'EricBruylant',
    'NateSoares',
    'EricRogstad',
    'StephanieZolayvar'
  ],
  pageId: 'poset',
  edit: '40',
  editSummary: 'removed distracting links tha seem redundant withrespect to he material presnted on the page',
  prevEdit: '39',
  currentEdit: '40',
  wasPublished: 'true',
  type: 'wiki',
  title: 'Partially ordered set',
  clickbait: 'A set endowed with a relation that is reflexive, transitive, and antisymmetric.',
  textLength: '7058',
  alias: 'poset',
  externalUrl: '',
  sortChildrenBy: 'likes',
  hasVote: 'false',
  voteType: '',
  votesAnonymous: 'false',
  editCreatorId: 'KevinClancy',
  editCreatedAt: '2017-01-29 23:34:08',
  pageCreatorId: 'KevinClancy',
  pageCreatedAt: '2016-05-21 22:00:13',
  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: '2107',
  text: '[summary: A partially ordered set (also called a poset) is a pair $\\langle P, \\leq \\rangle$ of a set $P$ and a [3nt binary relation] $\\leq$ on $P$ such that for all $p,q,r \\in P$, the following properties are satisfied: \n\n- [5dy Reflexivity]: $p \\leq p$\n- [573 Transitivity]: $p \\leq q$ and  $q \\leq r$ implies $p \\leq r$\n- [5lt Anti-symmetry]: $p \\leq q$ and $q \\leq p$ implies $p = q$\n\n$P$ is referred to as the poset's underlying set and $\\leq$\n is referred to as its order relation. When the order relation of a poset $\\langle P, \\leq \\rangle$ is clear from context, the poset can be referred to merely as $P$. Posets are the central object of study in [3dt order theory].]\n\nA **partially ordered set** (also called a **poset**) is a pair $\\langle P, \\leq \\rangle$ of a set $P$ and a [3nt binary relation] $\\leq$ on $P$ such that for all $p,q,r \\in P$, the following properties are satisfied: \n\n- [5dy Reflexivity]: $p \\leq p$\n- [573 Transitivity]: $p \\leq q$ and  $q \\leq r$ implies $p \\leq r$\n- [5lt Anti-symmetry]: $p \\leq q$ and $q \\leq p$ implies $p = q$\n\n$P$ is referred to as the poset's underlying set and $\\leq$\n is referred to as its order relation. Posets are the central object of study in [3dt order theory].\n\nNotations and fundamentals\n=======================\n\nGreater than\n--------------------\n\nA greater than relation $\\geq$ can be derived as the transpose of a poset's less than relation: $a \\geq b$ means that $b \\leq a$.  \n\nIncomparability\n-------------------------\n\nFor poset elements $p$ and $q$, if neither $p \\leq q$ nor $q \\leq p$ then we say that $p$ and $q$ are *incomparable*, and write $p \\parallel q$. \n\nStrict orders\n--------------------\n\nFrom any poset $\\langle P, \\leq \\rangle$, we can derive an underlying strict order $<$. For $p, q \\in P$, $p < q$ means that the following conditions are satisfied:\n\n- 1.) $p \\leq q$\n- 2.) $p \\neq q$\n\n\nThe cover relation\n-----------------------------\n\nFrom any poset $\\langle P, \\leq \\rangle$, we can derive an underlying *cover relation* $\\prec$, defined such that for $p,q \\in P$, $p \\prec q$ whenever the following two conditions are satisfied:\n\n- 1.) $p < q$\n- 2.) For all $r \\in P$, $p \\leq r < q$ implies $p = r$\n\nSimply put, $p \\prec q$ means that $q$ is the smallest element of $P$ which is strictly greater than $p$.\n$p \\prec q$ is pronounced "$p$ is covered by $q$", or "$q$ covers $p$", and $q$ is said to be a *cover* of $p$.   \n\nHasse diagrams\n--------------------------\n\nLet $\\langle P, \\leq \\rangle$ be the poset such that $P = \\{ p, q, r \\}$ and $\\leq = \\{(p,p),(p,q)(p,r),(q,q),(q,r),(r,r) \\}$. The order relation $\\leq$, being binary, can be depicted as a directed graph, though the resulting image leaves something to be desired.\n\n![Naive first attempt at representing P with a directed graph](http://i.imgur.com/fOkTwXW.png)\n\n%%%comment:\ndot source:\n\ndigraph G {\n  node [width = 0.1, height = 0.1]\n  rankdir = BT;\n  p -> q;\n  q -> r;\n  p -> p;\n  r -> r;\n  q -> q;\n  p -> r;\n}\n%%%\n\nIncluding an edge for every pair in $\\leq$ results in a rather noisy looking graph. In particular, as long as we are under assumption that the graph we are viewing depicts a poset, placing a reflexive edge on each node is tedious and redundant. Our first step toward cleaning up this graph is to remove all reflexive edges, instead leaving reflexivity as an implicit assumption. Likewise, we can leave those edges which are implied by transitivity &mdash; $(p,r)$ is the only such edge in this poset &mdash; implicit. As a final step, we remove the arrow heads from our edges, leaving their directions implied by the y-coordinates of the nodes they connect: an edge between two nodes means that the poset element corresponding to the lower node is less than the poset element corresponding to the higher node. The simplified depiction of $\\langle P, \\leq \\rangle$ then follows.\n\n![Hasse diagram for P](http://i.imgur.com/W8erVrC.png)\n\n\n%%%comment:\ndot source:\n\ndigraph G {\n  node [width = 0.1, height = 0.1];\n  edge [arrowhead = "none"];\n  rankdir = BT;\n  p -> q;\n  q -> r;\n}\n%%%\n\n\nSuch a depiction is called a *Hasse diagram*; drawing a Hasse diagram is the standard method for visually depicting a poset. Now that we understand what Hasse diagrams are, we can provide a concise definition: a Hasse diagram is a graph-based visual depiction of a poset $\\langle P, \\leq \\rangle$, where elements of $P$ are represented as nodes, and for all $(p,q) \\in P^2$ such that $p \\prec q$, an upward edge is drawn from $p$ to $q$. \n\n$p \\leq q$ requires that $p$ must appear lower in a Hasse diagram than $q$. However, the converse is not true.  In the following Hasse diagram, $t \\parallel r$ even though $t$ is positioned lower than $r$.\n\n![t is lower than r but incomparable to r](http://i.imgur.com/hmyUZv9.png)\n\n%%%comment:\ndot source:\n\ndigraph G {\n  node [width = 0.1, height = 0.1];\n  edge [arrowhead = "none"];\n  rankdir = BT;\n  p -> t;\n  p -> r;\n  t -> q;\n  q -> s;\n  r -> s;\n}\n%%%\n \n\nDuality\n-----------\n\nEvery poset $\\langle P, \\leq \\rangle$ has a corresponding *dual* poset $\\langle P^{\\partial}, \\geq \\rangle$, where $P^{\\partial}$ (pronounced "P op") is a set whose elements are in correspondence with those of $P$, and $\\geq$ is the transpose of $\\leq$ discussed previously. The Hasse diagram of $P^{\\partial}$ is obtained by flipping the Hasse diagram of $P$ upside down. Whenever $\\phi$ is a propsition about posets, we obtain $\\phi$'s *dual proposition* $\\phi^{\\partial}$ by replacing all occurences of $\\leq$ with $\\geq$ and all occurrences of $\\geq$ with $\\leq$. \n\nThe existence of dual posets and dual propositions gives rise to the *duality principle*: if a proposition $\\forall P. \\phi$, quantified over all posets, is true then its dual $\\forall P. \\phi^{\\partial}$ is also true. The duality principle works because instantiating $\\forall P. \\phi$ with a poset $P$ is equivalent to instantiating $\\forall P. \\phi^{\\partial}$ with $P^{\\partial}$. This is due to the fact that $a \\leq b$ in $P$ iff $a \\geq b$ in $P^{\\partial}$. Theorems involving posets often come with a free dual theorem thanks to the duality principle. \n\n%%%knows-requisite([4c7]):\nPoset as category\n==============\n\nAny poset $\\langle P, \\leq \\rangle$ can be viewed as a [category category] in which the objects are the elements of $P$, and for all $p,q \\in P$, there is a unique morphism from $p$ to $q$ iff $p \\leq q$. This category has closure under morphism composition due to the transitivity of $\\leq$ and identity morphisms due to the reflexivity of $\\leq$. Associativity of morphism composition stems from the uniqueness of arrows between any pair of objects. The functors between poset categories are [poset_monotone_map monotone maps].\n%%%\n\nAdditional Material\n----------------------------------\n\nFor some additional examples of posets, see [43s].\nTo test your knowledge of posets, try these [4l1 exercises].\nThe most useful operators on elements of a poset are called the [3rc join and meet].\nWe can relate the elements of one poset to another through the use of [5jg monotone functions].  \n\n',
  metaText: '',
  isTextLoaded: 'true',
  isSubscribedToDiscussion: 'false',
  isSubscribedToUser: 'false',
  isSubscribedAsMaintainer: 'false',
  discussionSubscriberCount: '2',
  maintainerCount: '2',
  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 partially ordered set (also called a poset) is a pair $\\langle P, \\leq \\rangle$ of a set $P$ and a [3nt binary relation] $\\leq$ on $P$ such that for all $p,q,r \\in P$, the following properties are satisfied: \n\n- [5dy Reflexivity]: $p \\leq p$\n- [573 Transitivity]: $p \\leq q$ and  $q \\leq r$ implies $p \\leq r$\n- [5lt Anti-symmetry]: $p \\leq q$ and $q \\leq p$ implies $p = q$\n\n$P$ is referred to as the poset's underlying set and $\\leq$\n is referred to as its order relation. When the order relation of a poset $\\langle P, \\leq \\rangle$ is clear from context, the poset can be referred to merely as $P$. Posets are the central object of study in [3dt order theory].'
  },
  creatorIds: [
    'KevinClancy',
    'EricRogstad',
    'JoeZeng',
    'EricBruylant',
    'NateSoares'
  ],
  childIds: [
    'poset_examples',
    'poset_exercises',
    'poset_greatest_lower_bound'
  ],
  parentIds: [
    'order_theory'
  ],
  commentIds: [
    '432',
    '4gx',
    '4gy',
    '550'
  ],
  questionIds: [],
  tagIds: [
    'math2',
    'b_class_meta_tag'
  ],
  relatedIds: [],
  markIds: [],
  explanations: [],
  learnMore: [
    {
      id: '4216',
      parentId: 'poset',
      childId: 'poset',
      type: 'subject',
      creatorId: 'KevinClancy',
      createdAt: '2016-06-17 23:24:42',
      level: '1',
      isStrong: 'false',
      everPublished: 'true'
    }
  ],
  requirements: [
    {
      id: '3324',
      parentId: 'set_mathematics',
      childId: 'poset',
      type: 'requirement',
      creatorId: 'AlexeiAndreev',
      createdAt: '2016-06-17 21:58:56',
      level: '1',
      isStrong: 'false',
      everPublished: 'true'
    },
    {
      id: '3325',
      parentId: 'relation_mathematics',
      childId: 'poset',
      type: 'requirement',
      creatorId: 'AlexeiAndreev',
      createdAt: '2016-06-17 21:58:56',
      level: '1',
      isStrong: 'false',
      everPublished: 'true'
    }
  ],
  subjects: [
    {
      id: '4216',
      parentId: 'poset',
      childId: 'poset',
      type: 'subject',
      creatorId: 'KevinClancy',
      createdAt: '2016-06-17 23:24:42',
      level: '1',
      isStrong: 'false',
      everPublished: 'true'
    }
  ],
  lenses: [
    {
      id: '39',
      pageId: 'poset',
      lensId: 'poset_examples',
      lensIndex: '0',
      lensName: 'Examples',
      lensSubtitle: '',
      createdBy: '1',
      createdAt: '2016-06-17 21:58:56',
      updatedBy: '1',
      updatedAt: '2016-06-17 21:58:56'
    },
    {
      id: '49',
      pageId: 'poset',
      lensId: 'poset_exercises',
      lensIndex: '10',
      lensName: 'Exercises',
      lensSubtitle: '',
      createdBy: '299',
      createdAt: '2016-06-18 17:03:40',
      updatedBy: '299',
      updatedAt: '2016-06-18 17:03:40'
    }
  ],
  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: '21891',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '40',
      type: 'newEdit',
      createdAt: '2017-01-29 23:34:08',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: 'removed distracting links tha seem redundant withrespect to he material presnted on the page'
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '20564',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '39',
      type: 'newEdit',
      createdAt: '2016-12-03 02:53:29',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19702',
      pageId: 'poset',
      userId: 'PatrickStevens',
      edit: '0',
      type: 'newChild',
      createdAt: '2016-09-24 09:06:41',
      auxPageId: 'poset_greatest_lower_bound',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '18562',
      pageId: 'poset',
      userId: 'EricBruylant',
      edit: '0',
      type: 'deleteTag',
      createdAt: '2016-08-08 09:35:02',
      auxPageId: 'formal_definition_meta_tag',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '18560',
      pageId: 'poset',
      userId: 'EricBruylant',
      edit: '0',
      type: 'newTag',
      createdAt: '2016-08-08 09:35:01',
      auxPageId: 'math2',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '18559',
      pageId: 'poset',
      userId: 'EricBruylant',
      edit: '0',
      type: 'newTag',
      createdAt: '2016-08-08 09:34:49',
      auxPageId: 'b_class_meta_tag',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '16909',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '38',
      type: 'newEdit',
      createdAt: '2016-07-16 19:27:56',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '16004',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '37',
      type: 'newEdit',
      createdAt: '2016-07-07 17:14:59',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '15986',
      pageId: 'poset',
      userId: 'JoeZeng',
      edit: '36',
      type: 'newEdit',
      createdAt: '2016-07-07 15:58:26',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '15983',
      pageId: 'poset',
      userId: 'JoeZeng',
      edit: '35',
      type: 'newEdit',
      createdAt: '2016-07-07 15:40:22',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '15653',
      pageId: 'poset',
      userId: 'NateSoares',
      edit: '34',
      type: 'newEdit',
      createdAt: '2016-07-06 13:52:06',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '2955',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '1',
      dislikeCount: '0',
      likeScore: '1',
      individualLikes: [],
      id: '15499',
      pageId: 'poset',
      userId: 'JoeZeng',
      edit: '33',
      type: 'newEdit',
      createdAt: '2016-07-05 23:04:34',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: 'Added a link to the order relation page now that that exists.'
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '14579',
      pageId: 'poset',
      userId: 'EricBruylant',
      edit: '0',
      type: 'newTag',
      createdAt: '2016-06-25 00:52:18',
      auxPageId: 'formal_definition_meta_tag',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '14578',
      pageId: 'poset',
      userId: 'EricBruylant',
      edit: '0',
      type: 'deleteTag',
      createdAt: '2016-06-25 00:52:07',
      auxPageId: 'definition_meta_tag',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '13945',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '0',
      type: 'newChild',
      createdAt: '2016-06-18 17:03:41',
      auxPageId: 'poset_exercises',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '13944',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '31',
      type: 'newEdit',
      createdAt: '2016-06-18 17:02:26',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '13917',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '0',
      type: 'newRequiredBy',
      createdAt: '2016-06-18 15:12:44',
      auxPageId: 'poset_exercises',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '13899',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '30',
      type: 'newEdit',
      createdAt: '2016-06-18 14:21:30',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '13775',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '0',
      type: 'newTeacher',
      createdAt: '2016-06-17 23:24:42',
      auxPageId: 'poset',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '13776',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '0',
      type: 'newSubject',
      createdAt: '2016-06-17 23:24:42',
      auxPageId: 'poset',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '13774',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '0',
      type: 'deleteTag',
      createdAt: '2016-06-17 23:24:36',
      auxPageId: 'work_in_progress_meta_tag',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '13749',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '29',
      type: 'newEdit',
      createdAt: '2016-06-17 23:14:45',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '13595',
      pageId: 'poset',
      userId: 'EricRogstad',
      edit: '28',
      type: 'newEdit',
      createdAt: '2016-06-17 17:27:47',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '13594',
      pageId: 'poset',
      userId: 'EricRogstad',
      edit: '27',
      type: 'newEdit',
      createdAt: '2016-06-17 17:27:23',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '13568',
      pageId: 'poset',
      userId: 'EricRogstad',
      edit: '26',
      type: 'newEdit',
      createdAt: '2016-06-17 16:47:26',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '13522',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '25',
      type: 'newEdit',
      createdAt: '2016-06-17 14:51:53',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '13521',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '24',
      type: 'newEdit',
      createdAt: '2016-06-17 14:49:46',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '13432',
      pageId: 'poset',
      userId: 'EricBruylant',
      edit: '23',
      type: 'newEdit',
      createdAt: '2016-06-17 04:33:46',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: 'Removed top-line header'
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '13431',
      pageId: 'poset',
      userId: 'EricRogstad',
      edit: '22',
      type: 'newEdit',
      createdAt: '2016-06-17 01:56:07',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '13430',
      pageId: 'poset',
      userId: 'EricRogstad',
      edit: '21',
      type: 'newEdit',
      createdAt: '2016-06-17 01:53:11',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '13429',
      pageId: 'poset',
      userId: 'EricRogstad',
      edit: '20',
      type: 'newEdit',
      createdAt: '2016-06-17 01:48:07',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '13175',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '19',
      type: 'newEdit',
      createdAt: '2016-06-15 22:49:31',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '12412',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '18',
      type: 'newRequiredBy',
      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: '12177',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '18',
      type: 'newEdit',
      createdAt: '2016-06-09 17:10:48',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '12176',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '17',
      type: 'newEdit',
      createdAt: '2016-06-09 17:07:27',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '12174',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '16',
      type: 'newEdit',
      createdAt: '2016-06-09 17:04:37',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '12110',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '15',
      type: 'newChild',
      createdAt: '2016-06-08 22:29:11',
      auxPageId: 'poset_examples',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '12026',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '15',
      type: 'newEdit',
      createdAt: '2016-06-08 17:24:27',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '12025',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '14',
      type: 'newEdit',
      createdAt: '2016-06-08 17:22:27',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '12016',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '13',
      type: 'newEdit',
      createdAt: '2016-06-08 17:12:56',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '12008',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '12',
      type: 'newEdit',
      createdAt: '2016-06-08 16:53:06',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '11541',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '11',
      type: 'newEdit',
      createdAt: '2016-05-31 16:26:52',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '11438',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '10',
      type: 'newEdit',
      createdAt: '2016-05-29 21:55:00',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '11437',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '9',
      type: 'newEdit',
      createdAt: '2016-05-29 21:47:19',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '11436',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '8',
      type: 'newEdit',
      createdAt: '2016-05-29 21:45:48',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '11399',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '7',
      type: 'newEdit',
      createdAt: '2016-05-28 19:59:30',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '11397',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '6',
      type: 'newEdit',
      createdAt: '2016-05-28 19:47:05',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '11396',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '5',
      type: 'newEdit',
      createdAt: '2016-05-28 19:45:54',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '11394',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '0',
      type: 'deleteTeacher',
      createdAt: '2016-05-28 19:44:08',
      auxPageId: 'poset',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '11395',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '0',
      type: 'deleteSubject',
      createdAt: '2016-05-28 19:44:08',
      auxPageId: 'poset',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '11392',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '4',
      type: 'newTeacher',
      createdAt: '2016-05-28 19:44:05',
      auxPageId: 'poset',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '11393',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '4',
      type: 'newSubject',
      createdAt: '2016-05-28 19:44:05',
      auxPageId: 'poset',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '11319',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '4',
      type: 'newEdit',
      createdAt: '2016-05-28 00:23:14',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '11318',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '3',
      type: 'newTag',
      createdAt: '2016-05-28 00:22:59',
      auxPageId: 'work_in_progress_meta_tag',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '11306',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '3',
      type: 'newEdit',
      createdAt: '2016-05-27 23:14:36',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '10785',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '2',
      type: 'newEdit',
      createdAt: '2016-05-21 22:34:13',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '10782',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '1',
      type: 'newRequiredBy',
      createdAt: '2016-05-21 22:30:25',
      auxPageId: 'math_join',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '10776',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '1',
      type: 'newEdit',
      createdAt: '2016-05-21 22:00:13',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '10771',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '1',
      type: 'newRequirement',
      createdAt: '2016-05-21 21:55:04',
      auxPageId: 'relation_mathematics',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '10770',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '1',
      type: 'newRequirement',
      createdAt: '2016-05-21 21:54:59',
      auxPageId: 'set_mathematics',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '10769',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '1',
      type: 'newTag',
      createdAt: '2016-05-21 21:54:54',
      auxPageId: 'definition_meta_tag',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '10768',
      pageId: 'poset',
      userId: 'KevinClancy',
      edit: '1',
      type: 'newParent',
      createdAt: '2016-05-21 21:54:42',
      auxPageId: 'order_theory',
      oldSettingsValue: '',
      newSettingsValue: ''
    }
  ],
  feedSubmissions: [],
  searchStrings: {},
  hasChildren: 'true',
  hasParents: 'true',
  redAliases: {},
  improvementTagIds: [],
  nonMetaTagIds: [],
  todos: [],
  slowDownMap: 'null',
  speedUpMap: 'null',
  arcPageIds: 'null',
  contentRequests: {}
}