Subset Ordering in Order Theory

  • Thread starter Thread starter jack1234
  • Start date Start date
  • Tags Tags
    Sets
Click For Summary

Homework Help Overview

The discussion revolves around the concept of "subset ordering of sets" within the context of order theory. Participants are exploring the definitions and implications of subset relations among sets.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • The original poster seeks a clear explanation of what "subset ordering" means, questioning the definitions of subsets and their relationships. Some participants provide definitions and properties of subset relations, while others express confusion about the overall concept.

Discussion Status

Participants are actively engaging with the definitions and properties of subset ordering. Some have begun to clarify their understanding, while others continue to seek further explanation. There is an acknowledgment of the complexity of the topic, particularly regarding the trichotomy property.

Contextual Notes

There is an indication that some participants may have assumptions about the basic definitions of sets and subsets that are being questioned. The discussion reflects varying levels of familiarity with order theory concepts.

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 )
 

Similar threads

Replies
1
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
Replies
20
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 14 ·
Replies
14
Views
1K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 2 ·
Replies
2
Views
5K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K