Set-theoretic tautologies( a reference is needed)

[Victor Makarov]

 Dear FOMers:

A while ago I asked the following question on MathOverflow:

https://mathoverflow.net/questions/176732/set-theoretic-tautologies

but the answer I received is rather incomplete.

I would be very grateful to anyone for a more concrete answer ( an
article or a book and the pages).

Thanks in advance,
Victor Makarov