Una familia arbitraria de subconjuntos no formará a priori una base de ninguna topología, para hacerlo deberá reunir una serie de requisitos.