background image

INDEX

393

principal

funcoid, 151

product

cartesian, 48
cross-composition, 318, 338
displaced, 357
funcoidal, 164, 298, 330
oblique, 256
ordinated, 51
reindexation, 332
reloidal, 186

starred, 350

second, 256
simple, 345
staroidal, 329
subatomic, 351

product order, 113
projection

staroidal, 354

proximity, 141
pseudocomplement, 27

dual, 27

pseudodifference, 27
pseudofuncoid, 364

quasi-proximity, 141
quasicomplement, 39

dual, 39

quasidifference, 29, 40

rebase

filters, 127

relation

anchored, 48, 319

between posets, 320
finitary, 320
infinitary, 320
on powersets, 320

relational structure, 61
reloid, 183

co-complete, 192
complete, 192
convex, 187
destination, 183
domain, 188
identity, 188
image, 188
injective, 191
inward, 201
monovalued, 191
outward, 201
principal, 183
reverse, 183
source, 183

restricted identity reloid, 188
restricting

funcoid, 157
rectangular, 223
reloid, 188
square, 224

Rudin-Keisler equivalence, 241

semigroup, 35
semilattice

join-semilattice, 18
meet-semilattice, 18

separable, 37

atomically, 38

separation subset, 37
set

closed, 138

in metric space, 136

open, 138

in metric space, 136

partially ordered, 15
typed, 61

small set, 12
source, 31
space

metric, 135
pre-topological, 136
preclosure, 136

induced by topology, 139

proximity, 141
topological, 138

induced by preclosure, 138

uniform, 196

star

core, 89
full, 37

star composition, 335
star-morphism, 335
staroid, 320

completary, 320, 321
generated, 323
identity

big, 370
small, 369

principal, 323

starrish, 79
straight map, 36
subcategory

wide, 33

subelement, 15
sublattice

closed, 22

substractive, 19
sum

structured, 49

supremum, 17

topology, 138
torning, 46
typed element, 61
typed set, 61

ultrafilter, 106

trivial, 106

uncurrying, 48, 49
uniformity, 196
upgraded staroid

generated, 324

upgrading, 322

anchored relation, 322

vertex, 31