for X being non empty set st X is cap-finite-closed holds
X is cap-closed