Esta definición coincide con las anteriores en el caso de una familia finita de conjuntos: