vicinanza
vicinanza [Der. di vicino "l'essere vicini"] [ALG] Funzione di v.: per un insieme P, è la funzione binomia V tale che: (a) AVB equivale a BVA per ogni A, B⊂P; (b) AV(B⋃C) è equivalente a AVB oppure AVC per ogni A, B, C⊂P; (c) AVA equivale a A≠∅. Una tale funzione può generare una struttura di spazio topologico su P. ◆ [ALG] Postulati della v.: sono i postulati cui deve soddisfare la funzione di v. (v. sopra) in un insieme P.