The language of pre-topology in knowledge spaces