Q. 2.2

Question

Prove the following relations:

IfEF, then  Fc Ec

Step-by-Step Solution

Verified
Answer

EFFcEc

Start by assumingEF.


1Step 1 Given Information.

EFFcEc

2Step 2 Explanation.

Say thatEF, the definition of that is:

EF def (xExF and exists xF such that xE)

IfFc=, then Fcis a subset of all sets by convention.

IfxFc

By the definition of complementxF.

xExFandxF so xis not inE.

xis a member of Ecand by the definition of a subsetFcEc.

and the element xFsuch that xEfrom (1) is a member of EcandxFc.

So by the same definitionFcEc.