Una definición formal de un objeto matemático es un conjunto de condiciones tales que: