homomorphism_closed (660B)
1 # Homomorphism closed 2 3 A [query] Q is *closed under [homomorphism]* if the following holds: 4 - if A satisfies Q and A has a [homomorphism] to B then B also satisfies Q 5 6 [cate2023when]: characterization of which classes are closed under [homomorphism_count] 7 8 Special case: 9 10 - [connected_homomorphism_closed_query] 11 - [unbounded_homomorphism_closed_query] 12 13 Up: [closure] under [homomorphism] 14 15 Aliases: closed under homomomorphism, homomorphism closed query, homomorphism closed queries, homomorphism-closed query, homomorphism-closed queries, hom closed query, hom closed queries, hom-closed query, hom-closed queries 16 17 See also: [infinite_UCQ], [monotone_query]