{
localUrl: '../page/finite_set.html',
arbitalUrl: 'https://arbital.com/p/finite_set',
rawJsonUrl: '../raw/5zy.json',
likeableId: '0',
likeableType: 'page',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
pageId: 'finite_set',
edit: '5',
editSummary: '',
prevEdit: '4',
currentEdit: '5',
wasPublished: 'true',
type: 'wiki',
title: 'Finite set',
clickbait: 'A finite set is one which is not infinite. Some of these are the least complicated sets.',
textLength: '1320',
alias: 'finite_set',
externalUrl: '',
sortChildrenBy: 'likes',
hasVote: 'false',
voteType: '',
votesAnonymous: 'false',
editCreatorId: 'TravisRivera',
editCreatedAt: '2016-09-11 08:15:19',
pageCreatorId: 'PatrickStevens',
pageCreatedAt: '2016-08-25 14:20:25',
seeDomainId: '0',
editDomainId: 'AlexeiAndreev',
submitToDomainId: '0',
isAutosave: 'false',
isSnapshot: 'false',
isLiveEdit: 'true',
isMinorEdit: 'false',
indirectTeacher: 'false',
todoCount: '4',
isEditorComment: 'false',
isApprovedComment: 'true',
isResolved: 'false',
snapshotText: '',
anchorContext: '',
anchorText: '',
anchorOffset: '0',
mergedInto: '',
isDeleted: 'false',
viewCount: '1848',
text: '[summary: A finite [3jz set] is a set which is not infinite. That is, we could go through its members one by one, seeing a new member every minute, writing a mark on a piece of paper each time, and eventually we'd be done and stop writing.]\n\n[summary(Technical): A finite [3jz set] $X$ is a set which is not infinite: that is, there is some $n \\in \\mathbb{N}$ such that the [-4w5] of $X$ is equal to $n$. Examples: $\\{ 1,2 \\}$ and $\\{ \\mathbb{N} \\}$. Non-examples: $\\mathbb{N}$, $\\mathbb{R}$.]\n\nA __finite set__ is like a package for a group of things. The package can be monstrously big to fit the amount of things it needs to hold but ultimately there is a limit to the amount of items in the package. This means that if you were to go by each item in this package one by one and count them you would eventually reach the last item. (Incidentally this number that you counted would be the cardinality of the set)\n\n[todo: Create a diagram expressing what a finite set is.]\n\n[todo: examples, being the easiest way to understand what "finite set" means]\n\nMore formally a Finite set is a set that also has a bijection with one of the natural numbers.\n\n\n\n[todo: the same as saying the cardinality is finite]\n\n[todo: difference between "finite" and "hereditarily finite": in particular, {N} is finite though N is infinite]\n',
metaText: '',
isTextLoaded: 'true',
isSubscribedToDiscussion: 'false',
isSubscribedToUser: 'false',
isSubscribedAsMaintainer: 'false',
discussionSubscriberCount: '1',
maintainerCount: '1',
userSubscriberCount: '0',
lastVisit: '',
hasDraft: 'false',
votes: [],
voteSummary: 'null',
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: [
'TravisRivera',
'PatrickStevens'
],
childIds: [
'category_of_finite_sets'
],
parentIds: [
'set_mathematics'
],
commentIds: [],
questionIds: [],
tagIds: [
'stub_meta_tag'
],
relatedIds: [],
markIds: [],
explanations: [],
learnMore: [],
requirements: [],
subjects: [],
lenses: [],
lensParentId: '',
pathPages: [],
learnMoreTaughtMap: {},
learnMoreCoveredMap: {},
learnMoreRequiredMap: {},
editHistory: {},
domainSubmissions: {},
answers: [],
answerCount: '0',
commentCount: '0',
newCommentCount: '0',
linkedMarkCount: '0',
changeLogs: [
{
likeableId: '3501',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '19531',
pageId: 'finite_set',
userId: 'TravisRivera',
edit: '5',
type: 'newEdit',
createdAt: '2016-09-11 08:15:19',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19530',
pageId: 'finite_set',
userId: 'TravisRivera',
edit: '4',
type: 'newEdit',
createdAt: '2016-09-10 23:35:35',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19529',
pageId: 'finite_set',
userId: 'TravisRivera',
edit: '3',
type: 'newEdit',
createdAt: '2016-09-10 23:34:44',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '3499',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '19528',
pageId: 'finite_set',
userId: 'TravisRivera',
edit: '2',
type: 'newEdit',
createdAt: '2016-09-10 23:34:09',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19378',
pageId: 'finite_set',
userId: 'PatrickStevens',
edit: '0',
type: 'newChild',
createdAt: '2016-08-29 09:16:49',
auxPageId: 'category_of_finite_sets',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19143',
pageId: 'finite_set',
userId: 'PatrickStevens',
edit: '0',
type: 'newParent',
createdAt: '2016-08-25 14:20:27',
auxPageId: 'set_mathematics',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19141',
pageId: 'finite_set',
userId: 'PatrickStevens',
edit: '0',
type: 'newTag',
createdAt: '2016-08-25 14:20:26',
auxPageId: 'stub_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19140',
pageId: 'finite_set',
userId: 'PatrickStevens',
edit: '1',
type: 'newEdit',
createdAt: '2016-08-25 14:20:25',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
}
],
feedSubmissions: [],
searchStrings: {},
hasChildren: 'true',
hasParents: 'true',
redAliases: {},
improvementTagIds: [],
nonMetaTagIds: [],
todos: [],
slowDownMap: 'null',
speedUpMap: 'null',
arcPageIds: 'null',
contentRequests: {}
}