Noncompact covering properties (paracompact, Lindelöf, etc.) Fairly general properties mathematics