Talk:SNP (complexity)

The class of structures that satisfies a given SNP sentence is closed under taking substructures. Therefore, ESO contains queries that cannot be expressed in SNP.