Cilj je da pokažemo da-kao što jedna proizvoljna familija potskupova skupa $X$ na prirodan način može da idicira topološku strukuturu na skup $X$, na pr, ako se skupovi date familije shvate kao subbaze jedne topologije-da slično tome proizvoljna familija potskupova skupa $X\timesX$, ili, drugčije rečeno, jedna familija relacija definisanih nad istim skupom $X$ na prirodan način generiše izvesne topološke strukture na skupu $X$.