Subset Ordering in Order Theory

  • Thread starter Thread starter jack1234
  • Start date Start date
  • Tags Tags
    Sets
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
6 replies · 3K views
jack1234
Messages
132
Reaction score
0
I have seen the term "subset ordering of sets" at http://en.wikipedia.org/wiki/Order_theory

What I can understand now is it is something related to the ordering of sets.

But I can't understand literally what "subset ordering of sets" means.
What is the subset, what are the sets, and how they relate to each other?
 
Physics news on Phys.org
[itex]\subseteq[/itex] is a partial order. (on any class of sets)
 
Thanks, but I still not really understand the whole picture.
Can you please literally explain what is "subset ordering of sets"?
Very thanks=)
 
In other words, a set A is considered less than or equal to a set B if A is a subset of B.
 
The "subset ordering" is [itex]A \le B[/itex] if and only if [itex]A \subseteq B[/itex]. If [itex]A \subseteq B[/itex] and [itex]B \subseteq C[/itex] then [itex]A \subseteq C[/itex]- the transitive property which is the only property required of an order relation.

Are you saying that you don't understand what a "subset" is?
 
Thanks, now I am getting clearer now=)
 
Notice that "trichotomy" does not hold: there may be sets A and B such that neither [itex]A\subseteq B[/itex] nor [itex]B\subseteq A[/itex] is true.

(Trichotomy says: Given any A, B, one and only one of these must hold:
1) A< B
2) B< A
3) A= B )