Prove if a relation is left-total and right-uniqueIn this exercise, we are dealing with Tuple...
Prove if a relation is left-total and right-unique
In this exercise, we are dealing with Tuple sets.
So let be the set of all legal tuple sets. P (X) denotes the power set of a set X. Now, Let the tuple set operation be defined as so that : .
Prove or disprove that + is left-total and right-unique.
These types of relations are uncommon in English, it seems. So, it's a bit difficult for me to understand how to prove it.
To my knowledge, a left-total relation means that, e.g. if , i.e. for every there exists (at least) one , so that .