- #1
tmbrwlf730
- 42
- 0
For those who have read Halmos, in Section 6 Ordered Pairs (page 23 in my book), he gives a non-trivial exercise to find an intrinsic characterization of those sets of subsets of A that correspond to some order in A. I'm curious what that characterization is.
A is suppose to be a quadruple {a, b, c, d} and he gives the order c, b, d, a as an example.
C is a set who's elements are sets that for each particular spot in the ordering, that set's elements are those that occur at or before the spot.
So we can write the order in the example above as {c}, {c, b}, {c, b, d}, {c,b,d,a}
and C = { {a, b, c, d}, {b, c}, {b, c, d}, {c}}.
Is the characterization just that C has the same number elements as A?
A is suppose to be a quadruple {a, b, c, d} and he gives the order c, b, d, a as an example.
C is a set who's elements are sets that for each particular spot in the ordering, that set's elements are those that occur at or before the spot.
So we can write the order in the example above as {c}, {c, b}, {c, b, d}, {c,b,d,a}
and C = { {a, b, c, d}, {b, c}, {b, c, d}, {c}}.
Is the characterization just that C has the same number elements as A?