Un modelo de clasificación formula_1 con algún vector de parámetros formula_2 es llamado "separador" de un conjunto de puntos (formula_3) si, para todas las asignaciones de las etiquetas de esos puntos, existe una formula_2 tal que el modelo formula_1 no tiene errores cuando evalúa ese conjunto de puntos.