Perhaps you can just help me with some of the terminology... I'm sorry but I simply don't understand what a lot of the symbols you used are. I've never encountered functions written with a set as a superscript or a subscript. Does the "C" mean cardinality? Also, I'm assuming "dense" is equivalent to "countable"