For any subset
of a topological space
, the biggest open set in
is called the interior of
[4][5], and is typed by
. In others words,
![]() |
(5) |
Where
is the set of open subsets in
. A graphical pattern
is included in its interior only when there exists some
subset such that
and
.
For any subset
in a topological space
, the smallest closed set that contains the subset
, is called the closure of
[4][5], and we will call it
. In others words,
![]() |
(6) |
Where
is the set of all closed subsets which contains the subset
. In a similar way, a graphical pattern
is included in the closure of
only when all subsets which contain the subset
has to
as one of its elements.
Now, considering the unitary set
, let us see which is its interior. Let be
the interior of
. The biggest open set in
is
too, because is the only element in
. Then
. Next the closure of
is the biggest open set contained in
is
, let us see if it is closed.
Taking again the topological descriptions used up to now,
is the topological space, and we can note that for any
set,
. That is because all the subsets of
are contained in
, so,
is closed; and we have again
. Then
. This extra condition is necessary to make sure that there exist at least one way to cover the 2-space, occupied by a triangle
, for a fixed
.