Orthocompact space

ID: 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.

New to topics? Read the docs here!