Boolean, relation-induced, and other operations for dealing with first-order definability Uniform relations between sequences Diagonal relations Uniform diagonal relations and some kinds of bisections... This description may be from another edition of this product.