CI(A) represents the complement of A in I, and correspondingly, I is the complete set of the whole problem (including all the elements in the problem).
Definition: ci (a) = {x | x belongs to I, and x does not belong to a}.
It is known that b ∩ a = {2}, b ∩ ci (a) = {4},
So b = {2 2,4}.
Because ci (a) ∩ b = {4}, ci (a) ∩ ci (b) = {1, 5},
So ci (a) = {1, 4,5}, then a = {2 2,3}.
So 3 belongs to a, and 3 doesn't belong to B.