Formalmente se define como: