Formalmente se define como