@nikkey
S1. A and B are two sets, A is uncountably infinite for example members of A are 0<x<1 So A is uncountably infinite.
and set B is set of natural numbers, which is countable infinite
Intersection of A and B is empty set, as nothing is common. So, S1 is false.
S2: every language is a subset of $\sum$* but every language can't be reduced to $\sum$*.
