Question 1.
Let . What is if is the relation on . How can you say that a relation is complete?
Solution. Recall that is the set of all subsets of , i. e.
The relation on is the relation “to be a proper subset”. This means that for all we have if and only if is a subset of , and there are elements of which do not belong to . For example, , because is contained in and does not coincide with the whole . But , because is not a subset of . Moreover, , because is a subset of , which is not proper.
A relation on a set is said to be complete if , i. e. for all we have . It is the maximal possible relation on in the sense that any relation on is contained in .