Index of Phrases and Subjects

adequate for first-order logic, xvi, 11,

adequately linked, 82, 84

algebraic first-order logics, xvi, xxii, :

almost constant shift, xxii

attuned, 41, 42

based on, 212

base set/universe, xiii, xv, 3, 135

bicyclic semigroup, 38

expanded, 121

with zero, 38

biordered, 104

bisectable relation, xvi, 111, 122

bisection, 112, 122, 123

bisector, 112, 122

least, 112, 125

Boolean operations, xxii, 2, 3, 10,

14, 16, 18, 22, 23

canonical triple, 64, 71

cardinal, 3

cardinality of [/, xv, 3, 19, 46, 50,

56, 57, 74, 85, 135, 230

clone of operations, 19, 21-23, 31

closed under/with respect to:

conjugate operation, xii, 9

intersection, xxi, 54, 107-109

relative product, xix, 41, 50, 73,

85, 94, 99, 100

transitivity, 200

complementation:

1-ary, xxii, 10, 17

) relative, xxii, 10, 15, 17

complex algebra of a relational

structure, xxiv

composition of operations, xiv, 9

congruence on F(T) generated by a

relation on F(T), 135

concatenation of sequences, 3

conjugate, xiv, 12

conservative extension, 163, 233

conservational, 207, 231

conservational normal form, 234

converse of a relation, 2

correlated, 104

corresponds, 238

counterclockwise rotation, 31

coupled occurrence, 148

covers, 202

cylindric algebra, xiii, xxiii, 23

cylindrification, xiv, 22

partial, 7

denotes, names, 136

determines, xx, 61, 62

diagonal closure, 107

diagonal relation, xx, 62, 85-93

determined by, xx, 62

mediately determined by, xx, 62, 126

on ^/included in ^Ux^U, 63,

64-109

on l°^U, xx, 63, 64-93, 108, 111,

121-133

on "U and uniform, xx, 111, 112-121

256