Семантическая топология: Введение в основную теорию