84:
74:
53:
22:
162:
398:
This article seems kind of schizophrenic, with the
Dedekind number and Clutter sections only being about Sperner families (and not Sperner's theorem) while the Proof and Generalizations sections are only about Sperner's theorem (and not about Sperner families). Maybe it would benefit from being split
378:
I changed the field from "foundations" (Foundations and set theory) to "discrete" (Discrete math), because
Sperner theory is part of combinatorics, not part of foundations of math or its relative, abstract set theory. It happens to be about sets, but not about properties of sets themselves. It
358:
Example 1 claims that the blockers of a graph are the minimal dominating sets, but this is easily seen to be false: consider the 4-vertex path a-b-c-d. Then {a,d} is dominating (and minimal), yet not a blocker as it doesn't intersect the edge b-c. Perhaps the author meant that the blockers are
276:
Uhhhmmm, seems like maybe not ... it seems we should merge that article into this one. An alternative would be to rename this article to be "Sperner's theorem", mention this theorem from the clutter article, and redirect "Sperner system" to point at "clutter".
200:
Is it necessary (or even appropriate) to over-divide such a short article into tiny sections? Also, the Q.E.D. thing is cute, but the hollow square notation is more consistent with mainstream mathematical
140:
379:
belongs to the subfield of combinatorics, often called "extremal set theory" or "combinatorics of finite sets", that concerns relations between (finite) sets.
427:
130:
422:
106:
261:
364:
186:
97:
58:
33:
360:
339:
Also, this article should say what E is. I assume X and Y are subsets of E, but the definition should say that.
404:
265:
21:
344:
317:
251:
39:
83:
257:
400:
189:
for that content in the latter page, and it must not be deleted as long as the latter page exists.
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
89:
73:
52:
340:
325:
384:
235:
215:
304:
282:
203:
174:
416:
329:
324:
Done, although the clutter material is not as polished as what was already here.
380:
231:
211:
102:
300:
278:
79:
296:
408:
388:
368:
348:
333:
308:
286:
269:
239:
219:
316:
I think "Sperner family" is more commonly used than "clutter", and so
295:
It is also called an antichain in combinatorics, though the article
156:
15:
230:), but they are distinct, so they should have sections, IMO.
182:
178:
169:
226:
There are many short topics. Each could be expanded (
250:
Is there a difference between a
Sperner family and a
359:exactly the minimal vertex covers (which is true)?
101:, a collaborative effort to improve the coverage of
299:is about the more general concept on posets —
8:
19:
160:
47:
167:Text and/or other creative content from
49:
7:
95:This article is within the scope of
210:There's nothing wrong with Q.E.D.
38:It is of interest to the following
14:
428:Low-priority mathematics articles
115:Knowledge:WikiProject Mathematics
423:Start-Class mathematics articles
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
254:? (See the other wiki page?)
1:
109:and see a list of open tasks.
409:05:58, 24 January 2013 (UTC)
389:05:07, 24 January 2013 (UTC)
369:14:45, 1 November 2011 (UTC)
334:23:30, 1 February 2010 (UTC)
240:05:02, 24 January 2013 (UTC)
220:07:00, 8 November 2012 (UTC)
349:13:24, 11 August 2009 (UTC)
444:
270:09:31, 29 April 2008 (UTC)
361:Dotdotdotatsignapostrophe
206:00:18, 2004 Jun 30 (UTC)
173:was copied or moved into
134:
67:
46:
309:18:49, 27 May 2009 (UTC)
141:project's priority scale
320:should be merged here.
287:21:16, 4 May 2008 (UTC)
98:WikiProject Mathematics
28:This article is rated
318:clutter (mathematics)
170:Clutter (mathematics)
399:into two articles? —
181:. The former page's
121:mathematics articles
187:provide attribution
354:Incorrect Example?
90:Mathematics portal
34:content assessment
272:
260:comment added by
193:
192:
155:
154:
151:
150:
147:
146:
435:
255:
172:
164:
163:
157:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
443:
442:
438:
437:
436:
434:
433:
432:
413:
412:
396:
376:
356:
248:
198:
168:
161:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
441:
439:
431:
430:
425:
415:
414:
401:David Eppstein
395:
392:
375:
372:
355:
352:
337:
336:
314:
313:
312:
311:
290:
289:
262:134.169.35.183
247:
244:
243:
242:
223:
222:
202:
197:
194:
191:
190:
185:now serves to
175:Sperner family
165:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
440:
429:
426:
424:
421:
420:
418:
411:
410:
406:
402:
393:
391:
390:
386:
382:
374:Field of math
373:
371:
370:
366:
362:
353:
351:
350:
346:
342:
335:
331:
327:
323:
322:
321:
319:
310:
306:
302:
298:
294:
293:
292:
291:
288:
284:
280:
275:
274:
273:
271:
267:
263:
259:
253:
245:
241:
237:
233:
229:
225:
224:
221:
217:
213:
209:
208:
207:
205:
195:
188:
184:
180:
176:
171:
166:
159:
158:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
397:
377:
357:
341:Rick Norwood
338:
315:
249:
227:
199:
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
256:—Preceding
228:invitation!
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
417:Categories
204:Peter Kwok
201:practices.
297:antichain
179:this edit
258:unsigned
252:clutter
246:Clutter
183:history
139:on the
394:Split?
381:Zaslav
232:Zaslav
212:Zaslav
36:scale.
301:3mta3
279:linas
196:Style
177:with
405:talk
385:talk
365:talk
345:talk
330:talk
305:talk
283:talk
266:talk
236:talk
216:talk
326:xnn
131:Low
419::
407:)
387:)
367:)
347:)
332:)
307:)
285:)
268:)
238:)
218:)
403:(
383:(
363:(
343:(
328:(
303:(
281:(
264:(
234:(
214:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.