Relational quotients
Miodrag Sokić · Fundamenta Mathematicae · 2013
Let $\mathcal {K}$ be a class of finite relational structures. We define $\mathcal {EK}$ to be the class of finite relational structures $\mathbf {A}$ such that $\mathbf {A}/E\in \mathcal {K}$, where $E$ is an equivalence relation defined on the structure