El álgebra de las relaciones esenciales en un conjunto finito