Covering properties are among the most important properties in topology. In most one wants to show certain covers can be reduced to subcovers of lower cardinality. A well-studied property, of which many of these are special cases, is ([alpha],[beta]) -compact which means any open cover of cardinality at most [beta] contains a subcover of cardinality less than [alpha]. We introduce two cardinally dependent properties which we call cocompact and chain cocompact since they involve complements of cover elements and are closely related to ([alpha],[beta]) -compact. In fact, for appropriate cardinals, cocompact implies compact which in turn implies chain cocompact. We also define a cardinally dependent version of locally compact which has implica...