A mathematical foundation for the use of cliques in the exploration of data with navigation graphs