粗空間
粗空間 X {\displaystyle X} の部分集合 A {\displaystyle A} に対し、ある近縁 E {\displaystyle E} とある点 x {\displaystyle x} が存在して A {\displaystyle A} が E ( x ) {\displaystyle E(x)} に含まれるとき、または A {\displaystyle A} が空であるとき、 A {\displaystyle A} は有界 (bounded) であるという (粗空間から有界集合のなす集合族の性質だけを抜き出したものを有界型空間という)。