Satallax

Contact Person
Chad E Brown

Theorem

Let A, B and x be objects. Assume xB. Then we have xAB.

Proof

It is enough to show xU({A,B}). We know B∈{A,B}. Using this and xB, we are done.


Click here to modify variable names (JavaScript Must Be Enabled).

Show Background.

Test yourself on this item.


See Also

Theorem Theorem Theorem Theorem Theorem


Feedback