Một lân cận của một điểm x là bất kì một tập nào chứa một tập mở có chứa x. Hệ các lân cận tại x chứa tất cả các lân cận của x. Một topo có thể được xác định bởi một tập các tiên đề liên quan đến tất cả các hệ lân cận.