User:Itaj Sherman/sandbox

From Wikipedia, the free encyclopedia

a U\inQ such that if AB≠ø, BP, then BU. Axiomatically, this reduces to: