Formalmente este caso define como: