S2 means Language A is mapping reducible to language to B
But here it is asking for a regular langauge So,if B is regular then A is not always regular...
S1 is false we can take example as A= Σ∗ which is regular and hence decidable and we can take any proper subset of A which is undecidable (like R.E language)