Sets 3 Flashcards
1
Q
Partial order (4)
A
- Relation on set V of the type V x V
- Reflexive
- Transitive
- Anti-symmetric
2
Q
Power set (1)
A
- Power set of V is the set of all subsets of V
3
Q
Comparable (1)
A
- If the partial order R is: x R y or y R x
4
Q
Linear or Total order (1)
A
- If all x,y ∈ V are comparable.
5
Q
Strict partial order (2)
A
- A strict partial order is irreflexive
2. x < y ⇐⇒ x ≤ y and x ≠ y
6
Q
Hasse diagrams (1)
A
- Directed graphs which omit reflexive and transitivity implied arrows.
7
Q
Lexicographic order (2)
A
- On a set A x B, A takes priority over B
2. ≤ ⇐⇒ (a1 <a></a>
8
Q
Cartesian Order (4)
A
- On a set A x B, A and B are treated equally
- ≤ ⇐⇒ a1 ≤A a2 and b1 ≤B b2
- Cartesian orders are partial orders
- They are not total.
9
Q
Maximum (1)
A
- m is the maximum if ∀a ∈ A : a ≤ m
- Every maximum of A is a maximal element of A
- If A has a maximum it is the only maximal element.
10
Q
Minimum (1)
A
- m is the minimum if ∀a ∈ A : m ≤ a
2. Every minimum of A is a minimum element of A
11
Q
Maximal element (1)
A
- m is a maximal element if ∀a ∈ A : (m ≤ a → m = a)
12
Q
Minimal element (1)
A
- m is a minimal element if ∀a ∈ A : (a ≤ m → a = m)