Designe formula_50 el conjunto de las cosas simples, entonces la separación de las cosas es representada por la función