Su definición formal es