{
  localUrl: '../page/poset_join_exercises.html',
  arbitalUrl: 'https://arbital.com/p/poset_join_exercises',
  rawJsonUrl: '../raw/4ll.json',
  likeableId: '4038',
  likeableType: 'page',
  myLikeValue: '0',
  likeCount: '1',
  dislikeCount: '0',
  likeScore: '1',
  individualLikes: [
    'MichaelEngelhard'
  ],
  pageId: 'poset_join_exercises',
  edit: '15',
  editSummary: '',
  prevEdit: '14',
  currentEdit: '15',
  wasPublished: 'true',
  type: 'wiki',
  title: 'Join and meet: Exercises',
  clickbait: '',
  textLength: '2210',
  alias: 'poset_join_exercises',
  externalUrl: '',
  sortChildrenBy: 'likes',
  hasVote: 'false',
  voteType: '',
  votesAnonymous: 'false',
  editCreatorId: 'KevinClancy',
  editCreatedAt: '2016-07-29 21:24:27',
  pageCreatorId: 'KevinClancy',
  pageCreatedAt: '2016-06-19 02:11:35',
  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: '84',
  text: 'Try these exercises to test your knowledge of joins and meets.\n\n\nTangled up \n--------------------\n\n![a big crazy poset](http://i.imgur.com/cYqkKm7.png)\n\nDetermine whether or not the following joins and meets exist in the poset depicted by the above Hasse diagram. \n\n$c \\vee b$\n\n%%hidden(Show solution):\nThis join does *not* exist, because $i$ and $j$ are incomparable upper bounds of $\\{ c, b \\}$, and no smaller upper bounds of $\\{ c, b \\}$ exist.\n%%\n\n$g \\vee e$\n\n%%hidden(Show solution):\nThis join exists. $g \\vee e = j$.\n%%\n\n$j \\wedge f$  \n\n%%hidden(Show solution):\nThis meet does *not* exist, because $d$ and $b$ are incomparable lower bounds of $\\{ j, f \\}$, and no larger lower bounds of $\\{ j, f \\}$ exist.\n%%\n\n$\\bigvee \\{a,b,c,d,e,f,g,h,i,j,k,l\\}$\n\n%%hidden(Show solution):\nThis join exists. It is $l$.\n%%\n\nJoin fu\n------------\n\nLet $P$ be a poset, $S \\subseteq P$, and $p \\in P$. Prove that 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\n%%hidden(Show solution):\nFor any $X \\subset P$, let $X^U$ denote the set of upper bounds of $X$. The above proposition follows from the fact that $\\{\\bigvee S, p\\}^U = (S \\cup p)^U$, which is apparent from the following chain of bi-implications:\n\n$q \\in \\{\\bigvee S, p\\}^U \\iff$ \n\nfor all $s \\in S, q \\geq \\bigvee S \\geq s$, and $q \\geq p \\iff$\n\n$q \\in (S \\cup \\{p\\})^U$.\n\nIf two subsets of a poset have the same set of upper bounds, then either they both lack a least upper bound, or both have the same least upper bound.\n%%\n\nMeet fu\n------------\n\nLet $P$ be a poset, $S \\subseteq P$, and $p \\in P$. Prove that if both $\\bigwedge S$ and $(\\bigwedge S) \\wedge p$ exist then $\\bigwedge (S \\cup \\{p\\})$ exists as well, and $(\\bigwedge S) \\wedge p = \\bigwedge(S \\cup \\{p\\})$.\n\n%%hidden(Show solution):\nNote that the proposition we are trying to prove here is the dual of the one stated in join fu. Thanks to the duality principle, this theorem therefore comes for free with our solution to join fu.\n%%\n\nQuite a big join\n--------------------------\n\nIn the poset $\\langle \\mathbb N, | \\rangle$ discussed in [43s], does $\\bigvee \\mathbb N$ exist? If so, what is it?\n\n',
  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: 'false',
  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: {},
  creatorIds: [
    'KevinClancy'
  ],
  childIds: [],
  parentIds: [
    'math_join'
  ],
  commentIds: [],
  questionIds: [],
  tagIds: [
    'exercise_meta_tag'
  ],
  relatedIds: [],
  markIds: [],
  explanations: [],
  learnMore: [],
  requirements: [],
  subjects: [],
  lenses: [],
  lensParentId: 'math_join',
  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: '17752',
      pageId: 'poset_join_exercises',
      userId: 'KevinClancy',
      edit: '15',
      type: 'newEdit',
      createdAt: '2016-07-29 21:24:28',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '17749',
      pageId: 'poset_join_exercises',
      userId: 'KevinClancy',
      edit: '14',
      type: 'newEdit',
      createdAt: '2016-07-29 20:48:48',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '15000',
      pageId: 'poset_join_exercises',
      userId: 'KevinClancy',
      edit: '13',
      type: 'newEdit',
      createdAt: '2016-06-30 22:17:24',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '14832',
      pageId: 'poset_join_exercises',
      userId: 'KevinClancy',
      edit: '11',
      type: 'newEdit',
      createdAt: '2016-06-29 23:04:19',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '14831',
      pageId: 'poset_join_exercises',
      userId: 'KevinClancy',
      edit: '10',
      type: 'newEdit',
      createdAt: '2016-06-29 22:57:26',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '14830',
      pageId: 'poset_join_exercises',
      userId: 'KevinClancy',
      edit: '9',
      type: 'newEdit',
      createdAt: '2016-06-29 22:55:13',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '14829',
      pageId: 'poset_join_exercises',
      userId: 'KevinClancy',
      edit: '8',
      type: 'newEdit',
      createdAt: '2016-06-29 22:53:31',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '2879',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '1',
      dislikeCount: '0',
      likeScore: '1',
      individualLikes: [],
      id: '14828',
      pageId: 'poset_join_exercises',
      userId: 'KevinClancy',
      edit: '7',
      type: 'newEdit',
      createdAt: '2016-06-29 22:49:17',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '14454',
      pageId: 'poset_join_exercises',
      userId: 'KevinClancy',
      edit: '6',
      type: 'newEdit',
      createdAt: '2016-06-23 16:25:56',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '14453',
      pageId: 'poset_join_exercises',
      userId: 'KevinClancy',
      edit: '5',
      type: 'newEdit',
      createdAt: '2016-06-23 16:25:06',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '14170',
      pageId: 'poset_join_exercises',
      userId: 'EricBruylant',
      edit: '0',
      type: 'newTag',
      createdAt: '2016-06-20 22:31:10',
      auxPageId: 'exercise_meta_tag',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '14060',
      pageId: 'poset_join_exercises',
      userId: 'KevinClancy',
      edit: '4',
      type: 'newEdit',
      createdAt: '2016-06-20 03:55:22',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '14059',
      pageId: 'poset_join_exercises',
      userId: 'KevinClancy',
      edit: '3',
      type: 'newEdit',
      createdAt: '2016-06-20 03:55:01',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '13986',
      pageId: 'poset_join_exercises',
      userId: 'KevinClancy',
      edit: '2',
      type: 'newEdit',
      createdAt: '2016-06-19 02:13:16',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '13985',
      pageId: 'poset_join_exercises',
      userId: 'KevinClancy',
      edit: '0',
      type: 'deleteParent',
      createdAt: '2016-06-19 02:12:57',
      auxPageId: 'math',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '13983',
      pageId: 'poset_join_exercises',
      userId: 'KevinClancy',
      edit: '0',
      type: 'newParent',
      createdAt: '2016-06-19 02:12:56',
      auxPageId: 'math_join',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '13981',
      pageId: 'poset_join_exercises',
      userId: 'KevinClancy',
      edit: '0',
      type: 'newParent',
      createdAt: '2016-06-19 02:12:01',
      auxPageId: 'math',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '13979',
      pageId: 'poset_join_exercises',
      userId: 'KevinClancy',
      edit: '1',
      type: 'newEdit',
      createdAt: '2016-06-19 02:11:35',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    }
  ],
  feedSubmissions: [],
  searchStrings: {},
  hasChildren: 'false',
  hasParents: 'true',
  redAliases: {},
  improvementTagIds: [],
  nonMetaTagIds: [],
  todos: [],
  slowDownMap: 'null',
  speedUpMap: 'null',
  arcPageIds: 'null',
  contentRequests: {}
}