open neighborhood

[ریاضیات] همسایگی باز