The first two complement laws above show that if is a non-empty, proper subset of , then is a partition of .
the first two complement laws above show that if is a non-empty proper subset of  then is a partition of 