nLab orthocompact space

Contents

Context

Topology

topology (point-set topology, point-free topology)

see also differential topology, algebraic topology, functional analysis and topological homotopy theory

Introduction

Basic concepts

Universal constructions

Extra stuff, structure, properties

Examples

Basic statements

Theorems

Analysis Theorems

topological homotopy theory

Contents

Definition

A family of subsets of a topological space, for which for every point the intersection of subsets containing it is open, is called an inner-preserving family or Q family.

A topological space, for which every (countable) open covering has an inner-preserving open refinement, is called (countably) orthocompact.

Created on March 21, 2024 at 16:37:50. See the history of this page for a list of all contributions to it.