-Regarding your problem with ({}(0), {}(1),...,{}(n),...) - {}(0), {}(1), etc are not different empty sets. They are all {}. Th integers assigned to them only determine the position. It's ok to do this with sets, in the same way that it is ok to have n-tuple (0,0,0,...) in a ring where 0 in a...