One consequence of this is a simple logical characterization of L: it contains precisely those languages expressible in first-order logic with an added commutative transitive closure operator (in graph theoretical terms, this turns every connected component into a clique).
O consecință a acestui fapt este o caracterizare logică simplă a lui L: acesta conține exact acele limbaje exprimate în logica de ordinul întâi⁠(d), cu un operator comutativ suplimentar de închidere tranzitivă⁠(d) (în termeni de teoria grafurilor, acesta transformă fiecare componentă conexă⁠(d) într-o clică).