background image

INDEX

391

product

cartesian, 48
cross-composition, 310, 330
displaced, 349
funcoidal, 156, 290, 322
oblique, 248
ordinated, 51
reindexation, 324
reloidal, 178

starred, 342

second, 248
simple, 337
staroidal, 321
subatomic, 343

product order, 113
projection

staroidal, 346

proximity, 133
pseudocomplement, 27

dual, 27

pseudodifference, 27
pseudofuncoid, 356

quasi-proximity, 133
quasicomplement, 39

dual, 39

quasidifference, 29, 40

relation

anchored, 48, 311

between posets, 312
finitary, 312
infinitary, 312
on powersets, 312

relational structure, 61
reloid, 175

co-complete, 184
complete, 184
convex, 179
destination, 175
domain, 180
identity, 180
image, 180
injective, 183
inward, 193
monovalued, 183
outward, 193
principal, 175
reverse, 175
source, 175

restricted identity reloid, 180
restricting

funcoid, 149
rectangular, 215
reloid, 180
square, 216

Rudin-Keisler equivalence, 233

semigroup, 34
semilattice

join-semilattice, 18
meet-semilattice, 18

separable, 37

atomically, 38

separation subset, 37
set

closed, 130

in metric space, 128

open, 130

in metric space, 128

partially ordered, 15
typed, 61

small set, 12
source, 31
space

metric, 127
pre-topological, 128
preclosure, 128

induced by topology, 131

proximity, 133
topological, 130

induced by preclosure, 130

uniform, 188

star

core, 89
full, 37

star composition, 327
star-morphism, 327
staroid, 312

completary, 312, 313
generated, 315
identity

big, 362
small, 361

principal, 315

starrish, 79
straight map, 36
subcategory

wide, 32

subelement, 15
sublattice

closed, 22

substractive, 19
sum

structured, 49

supremum, 17

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

ultrafilter, 106

trivial, 106

uncurrying, 48, 49
uniformity, 188
upgraded staroid

generated, 316

upgrading, 314

anchored relation, 314

vertex, 31