De esta definición se puede demostrar la siguiente caracterización alternativa: