Se define como la tarea de asignar valores booleanos a cada par formula_1 pertenecientes a formula_2, donde formula_3 es el dominio de los documentos y formula_4 es una colección de categorías predefinidas.