{
localUrl: '../page/poset_exercises.html',
arbitalUrl: 'https://arbital.com/p/poset_exercises',
rawJsonUrl: '../raw/4l1.json',
likeableId: '3367',
likeableType: 'page',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [
'EricBruylant'
],
pageId: 'poset_exercises',
edit: '19',
editSummary: '',
prevEdit: '18',
currentEdit: '19',
wasPublished: 'true',
type: 'wiki',
title: 'Poset: Exercises',
clickbait: '',
textLength: '3491',
alias: 'poset_exercises',
externalUrl: '',
sortChildrenBy: 'likes',
hasVote: 'false',
voteType: '',
votesAnonymous: 'false',
editCreatorId: 'KevinClancy',
editCreatedAt: '2016-08-22 18:24:37',
pageCreatorId: 'KevinClancy',
pageCreatedAt: '2016-06-18 15:12: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: '70',
text: '\nTry these exercises to test your poset knowledge.\n\n# Corporate Ladder\n\nImagine a company with five distinct roles: CEO, marketing manager, marketer, IT manager, and IT worker. At this company, if the CEO gives an order, everyone else must follow it. If an order comes from an IT manager, only IT workers are obligated to follow it. Similarly, if an order comes from a marketing manager, only marketers are obligated to follow it. Nobody is obligated to follow orders from marketers or IT workers.\n\nDo the workers at this company form a poset under the "obligated to follow orders from" relation?\n\n%%%hidden(Show solution):\nWhile not technically a poset due to its lack of reflexivity, it is pretty close. It is actually a strict ordering, whose underlying partial order could be obtained by making the reasonable assumption that each worker will follow her own orders.\n%%%\n\n# Bag Inclusion\n\nWe can define a notion of [power_set power sets] for [3jk bags] as follows. Let $X$ be a set, then we use $\\mathcal{M}(X)$ to denote the set of all bags containing elements of $X$. Let $A \\in \\mathcal{M}(X)$. The multiplicity function of $A$, $1_A : X \\rightarrow \\mathbb N$ maps each element of $X$ to the number of times that element occurs in $A$. We can use multiplicity functions to define a inclusion relation $\\subseteq$ for bags. For $A, B \\in \\mathcal M(X)$, we write $A \\subseteq B$ whenever for all $x \\in X$, $1_A(x) \\leq 1_B(x)$.\n\nDoes $\\mathcal{M}(X)$ form a poset under the bag inclusion relation $\\subseteq$? If so, prove it. Otherwise, show that it does not satisfy one of the three poset properties. \n\n# Duality\n\nGive the dual of the following proposition. \n\nFor all posets $P$ and all $p, q \\in P$, $q \\prec p$ implies that $\\{ r \\in P~|~r \\leq p \\}$ is a superset of $\\{ r \\in P~|~r \\leq q\\}$.\n\n%%hidden(Show solution):\nFor all posets $P$ and all $p, q \\in P$, $q \\succ p$ implies that $\\{ r \\in P~|~r \\geq p \\}$ is a superset of $\\{ r \\in P~|~r \\geq q\\}$ (where $q \\succ p$ means $p \\prec q$).\n%%\n\n# Hasse diagrams\n\nLet $X = \\{ x, y, z \\}$. Draw a Hasse diagram for the poset $\\langle \\mathcal P(X), \\subseteq \\rangle$ of the power set of $X$ ordered by inclusion.\n\n%%hidden(Show solution):\n\n\n%%%comment:\ndot source:\n\ndigraph G {\n node [width = 0.1, height = 0.1]\n edge [arrowhead = "none"]\n e [label = "{}"]\n x [label = "{x}"]\n y [label = "{y}"]\n z [label = "{z}"]\n xy [label = "{x,y}"]\n xz [label = "{x,z}"]\n yz [label = "{y,z}"]\n xyz [label = "{x,y,z}"]\n\n rankdir = BT;\n e -> x\n e -> y\n e -> z\n x -> xy\n x -> xz\n y -> xy\n y -> yz\n z -> xz\n z -> yz\n xy -> xyz\n xz -> xyz\n yz -> xyz\n}\n%%%\n\n%%\n\n#Hasse diagrams (encore)\n\nIs it possible to draw a Hasse diagram for any poset?\n\n%%hidden(Show solution):\nNote that our description of Hasse diagrams made use of the covers relation $\\prec$. The covers relation, however, is not adequate to describe the structure of many posets. Consider the poset $\\langle \\mathbb R, \\leq \\rangle$ of the real numbers ordered by the standard comparison $\\leq$. We have $0 < 1$, but how would we convey that with a Hasse diagram? The problem is that $0$ has no covers, even though it is not a maximal element in $\\mathbb R$. In fact, for any $x \\in \\mathbb R$ such that $x > 0$, we can find a $y \\in \\mathbb R$ such that $0 < y < x$. This "infinite density" of $\\mathbb R$ makes it impossible to depict using a Hasse diagram.\n%%\n\n\n\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',
'MarkChimes',
'EricBruylant',
'ChrisPasek'
],
childIds: [],
parentIds: [
'poset'
],
commentIds: [
'4m6',
'4r8',
'5t8'
],
questionIds: [],
tagIds: [
'exercise_meta_tag'
],
relatedIds: [],
markIds: [],
explanations: [],
learnMore: [],
requirements: [
{
id: '4253',
parentId: 'poset',
childId: 'poset_exercises',
type: 'requirement',
creatorId: 'KevinClancy',
createdAt: '2016-06-18 14:55:44',
level: '1',
isStrong: 'false',
everPublished: 'true'
}
],
subjects: [],
lenses: [],
lensParentId: 'poset',
pathPages: [],
learnMoreTaughtMap: {},
learnMoreCoveredMap: {},
learnMoreRequiredMap: {},
editHistory: {},
domainSubmissions: {},
answers: [],
answerCount: '0',
commentCount: '0',
newCommentCount: '0',
linkedMarkCount: '0',
changeLogs: [
{
likeableId: '3427',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '19059',
pageId: 'poset_exercises',
userId: 'KevinClancy',
edit: '19',
type: 'newEdit',
createdAt: '2016-08-22 18:24:37',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '16943',
pageId: 'poset_exercises',
userId: 'KevinClancy',
edit: '0',
type: 'deleteTag',
createdAt: '2016-07-16 20:51:40',
auxPageId: 'work_in_progress_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '16937',
pageId: 'poset_exercises',
userId: 'KevinClancy',
edit: '18',
type: 'newEdit',
createdAt: '2016-07-16 20:50:32',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '16931',
pageId: 'poset_exercises',
userId: 'KevinClancy',
edit: '17',
type: 'newEdit',
createdAt: '2016-07-16 20:43:05',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '16921',
pageId: 'poset_exercises',
userId: 'KevinClancy',
edit: '16',
type: 'newEdit',
createdAt: '2016-07-16 20:10:22',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '16920',
pageId: 'poset_exercises',
userId: 'KevinClancy',
edit: '15',
type: 'newEdit',
createdAt: '2016-07-16 20:09:27',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14450',
pageId: 'poset_exercises',
userId: 'ChrisPasek',
edit: '14',
type: 'newEdit',
createdAt: '2016-06-23 04:06:43',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14449',
pageId: 'poset_exercises',
userId: 'KevinClancy',
edit: '13',
type: 'newEdit',
createdAt: '2016-06-23 02:57:57',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14448',
pageId: 'poset_exercises',
userId: 'KevinClancy',
edit: '12',
type: 'newEdit',
createdAt: '2016-06-23 02:51:27',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14447',
pageId: 'poset_exercises',
userId: 'KevinClancy',
edit: '11',
type: 'newEdit',
createdAt: '2016-06-23 02:49:14',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14446',
pageId: 'poset_exercises',
userId: 'KevinClancy',
edit: '10',
type: 'newEdit',
createdAt: '2016-06-23 02:48:19',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14240',
pageId: 'poset_exercises',
userId: 'KevinClancy',
edit: '9',
type: 'newEdit',
createdAt: '2016-06-21 02:03:31',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14221',
pageId: 'poset_exercises',
userId: 'EricBruylant',
edit: '8',
type: 'revertEdit',
createdAt: '2016-06-21 00:53:45',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14171',
pageId: 'poset_exercises',
userId: 'EricBruylant',
edit: '0',
type: 'newTag',
createdAt: '2016-06-20 22:32:09',
auxPageId: 'exercise_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14111',
pageId: 'poset_exercises',
userId: 'KevinClancy',
edit: '8',
type: 'newEdit',
createdAt: '2016-06-20 16:23:35',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14058',
pageId: 'poset_exercises',
userId: 'KevinClancy',
edit: '7',
type: 'newEdit',
createdAt: '2016-06-20 03:52:23',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14054',
pageId: 'poset_exercises',
userId: 'MarkChimes',
edit: '6',
type: 'newEdit',
createdAt: '2016-06-20 03:21:31',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: 'Is -> are'
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14053',
pageId: 'poset_exercises',
userId: 'MarkChimes',
edit: '5',
type: 'newEdit',
createdAt: '2016-06-20 03:20:34',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: 'Chdhucg'
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13947',
pageId: 'poset_exercises',
userId: 'KevinClancy',
edit: '4',
type: 'newEdit',
createdAt: '2016-06-18 17:03:52',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13946',
pageId: 'poset_exercises',
userId: 'KevinClancy',
edit: '0',
type: 'newParent',
createdAt: '2016-06-18 17:03:41',
auxPageId: 'poset',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13922',
pageId: 'poset_exercises',
userId: 'KevinClancy',
edit: '3',
type: 'newEdit',
createdAt: '2016-06-18 15:13:37',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13921',
pageId: 'poset_exercises',
userId: 'KevinClancy',
edit: '2',
type: 'newEdit',
createdAt: '2016-06-18 15:13:07',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13918',
pageId: 'poset_exercises',
userId: 'KevinClancy',
edit: '0',
type: 'newRequirement',
createdAt: '2016-06-18 15:12:44',
auxPageId: 'poset',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13920',
pageId: 'poset_exercises',
userId: 'KevinClancy',
edit: '0',
type: 'newTag',
createdAt: '2016-06-18 15:12:44',
auxPageId: 'work_in_progress_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13916',
pageId: 'poset_exercises',
userId: 'KevinClancy',
edit: '1',
type: 'newEdit',
createdAt: '2016-06-18 15:12:42',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
}
],
feedSubmissions: [],
searchStrings: {},
hasChildren: 'false',
hasParents: 'true',
redAliases: {},
improvementTagIds: [],
nonMetaTagIds: [],
todos: [],
slowDownMap: 'null',
speedUpMap: 'null',
arcPageIds: 'null',
contentRequests: {}
}