>[!info] Definition >A structure $(M,\in,A_{1},A^{2}\dots)$ is *amenable* iff $ \forall x \in M \forall i(A_{i}\cap x \in M)$