Tập con mở

Đó là một tập con đồng thời là tập mở.

A ⟃ B đọc là “A là tập con mở của B”. Mọi phần tử của A đều thuộc B, và A là tập mở trong không gian B. Vòng tròn giúp phân biệt ký hiệu này với dấu tập con thông thường.

Trên trục số thông thường, các số lớn hơn 0 và nhỏ hơn 1 tạo thành một tập con mở: từ bất kỳ số nào trong khoảng này, bạn đều có thể dịch chuyển một chút về cả hai phía mà vẫn ở trong khoảng. Hai đầu mút không được tính vào. Trong tô pô học, ngành toán nghiên cứu không gian và tính liên tục, cấu trúc được chọn cho không gian quyết định tập con nào là mở. Không phải tác giả nào cũng dùng ⟃, nên hãy xem quy ước ký hiệu của văn bản.