Se define como sigue: sea