set identities in discrete mathematics - Search