Added definition plus examples of topological spaces.