Can you please modify the following relation , that is, {(x, y) : x y x U y V} (where U is the universe
of all sets and atoms and V is the set containing all sets), such that the domain is a set but the
range is a proper class? OR, is the domain for this relation already a set and the range already a
proper class?
I am confused and I would like to understand if the domain for the given expression is a set or not.
If the dom is not a set, please adjust it to be one. The range must then be a proper class, too. The
relation will still be a proper class..
Can you please modify the following relation that is x.pdf
1. Can you please modify the following relation , that is, {(x, y) : x y x U y V} (where U is the universe
of all sets and atoms and V is the set containing all sets), such that the domain is a set but the
range is a proper class? OR, is the domain for this relation already a set and the range already a
proper class?
I am confused and I would like to understand if the domain for the given expression is a set or not.
If the dom is not a set, please adjust it to be one. The range must then be a proper class, too. The
relation will still be a proper class.
