let TS be TopSpace; :: thesis: for PS, QS being Subset of TS st PS is compact & QS c= PS & QS is closed holds

QS is compact

let PS, QS be Subset of TS; :: thesis: ( PS is compact & QS c= PS & QS is closed implies QS is compact )

assume that

A1: PS is compact and

A2: QS c= PS and

A3: QS is closed ; :: thesis: QS is compact

QS is compact

let PS, QS be Subset of TS; :: thesis: ( PS is compact & QS c= PS & QS is closed implies QS is compact )

assume that

A1: PS is compact and

A2: QS c= PS and

A3: QS is closed ; :: thesis: QS is compact