Catalan relations: a relational-theoretic approach to Catalan numbers