Added compactness and open sets. New post