Maths Flashcards
(9 cards)
1
Q
What is an equivalence relation?
A
A relation that is:
- Reflexive: Each element is related to itself
- Symmetric: If a is related to b, then b is related to a
- Transitive: If a and b, and b and c are realted, then a and c are related
2
Q
What is an equivalence class and a quotient set?
A
Equivalence class:
- The set of all elements that are equivalent to each other
Quotient set:
- The set of all distinct equivalence classes
3
Q
What is a Poset?
A
- Partially ordered set
- Reflexive
- Anti-symmetric
- Transitive
4
Q
What is anti-symmetry?
A
- Two elements cannot be less than or equal to each other unless they are equal
- Multual related-ness implied equality
- No closure (would require removing elements)
5
Q
What is the difference between total and partial order?
A
- In total order, every element is comparable, unlike partial order
6
Q
Give the definition of minimal and maxiamal?
A
- Minimal: Nothing strictly smaller than
- Maximal: Nothing strictly greater than
- Posets can have many minimal maximal elements
7
Q
Give the definition of greatest and least element?
A
- Greatest: Greater than or equal to everything
- Least: Less than or equal to everything
- Only one exists of each
8
Q
Give the defintion of upper and lower bound?
A
- Upper Bound: if every element in a subset of a poset is less than or equal than it
- Lower Bound: if every element in a subset of a poset is greater than or equal to it
- Doesn’t have to be in the subset
9
Q
A