Una k-familia de funciones resumen universal es un conjunto H de funciones formula_55 tal que para cada elemento formula_56 y todos los (no necesariamente distintos) formula_57.