Orthocompact space
= Orthocompact space
{wiki=Orthocompact_space}
An **orthocompact space** is a concept in topology that generalizes certain properties of compact spaces. A topological space \\( X \\) is defined to be orthocompact if every open cover of \\( X \\) has a certain "sufficient" refinement property.