Nếu A là một tập con bất kỳ của một không gian tôpô X, biên của A được ký hiệu là Fr(A).
a) Chứng minh rằng Fr(A)⊂Fr(A),Fr(A˚)⊂Fr(A), và cho một ví dụ trên đường thẳng thực trong đó ba tập hợp này phân biệt.
b) Cho A,B là hai tập con của X; chứng minh rằng
Fr(A∪B)⊂Fr(A)∪Fr(B) và cho một ví dụ
trên đường thẳng thực trong đó các tập hợp này phân biệt. Nếu
A∩B=∅, chứng minh rằng
Fr(A∪B)=Fr(A)∪Fr(B).
c) Nếu A và B là các tập mở trong X, chứng minh rằng
(A∩Fr(B))∪(B∩Fr(A))⊂Fr(A∩B) ⊂(A∩Fr(B))∪(B∩Fr(A))∪(Fr(A)∩Fr(B)) và cho một ví dụ
trên đường thẳng thực trong đó ba tập hợp này phân biệt.