i see. however, i should have worded that part better, noting that A1 super set of A2 superset of A3...
what exactly is B2=A2\A1... i mean everything in A2, is technically in A1,
since A2 subset of A1. So an element in B2 is an element in A2, yet is not an element in A1, which then implies it...