The algebra of essential relations on a finite set