It depends on which set theory you are talking about, but the most widely used is Zermelo-Fränkel set theory. It states that for any proper set, all subsets of that set are definable using regular first-order logic. It is impossible to define subsets of the proposed set A you describe in your OP...