La definición dada es por lo tanto: