-okolí množiny ve funkcionální analýze a příbuzných oborech je taková množina, jejíž každý bod je menší než .
Nechť existuje skutečná čára se standardní metrikou Then