Una definición formal sigue.