Where U is a structure for a first-order language L ≈ with equality ≈, a standard construction associates with every formula f of L ≈ the set kfk of those assignments which fulfill f in U. These sets make up a (cylindric ...