This defines a topological space.
To definuje topologický priestor.