Veen diagram in set theory