En general, una familia indexada de conjuntos es una familia de conjuntos en correspondencia biunívoca con algún conjunto índice: