Es decir, es una definición: