background image

INDEX

302

pre-staroid, 239

corresponding to pre-multifuncoid, 242

pretopology, 90
pre-topology

induced by metric, 91

prime element, 53
principal

funcoid, 103

product

cartesian, 40
cross-composition, 231, 256
displaced, 273
funcoidal, 114, 213, 247
oblique, 197
ordinated, 42
reindexation, 249
reloidal, 136

starred, 267

second, 197
simple, 261
staroidal, 246
subatomic, 267

product order, 233
projection

staroidal, 270

proximity, 95
pseudocomplement, 22

dual, 22

pseudodifference, 23
pseudofuncoid, 283

Q

quasicomplement, 32

dual, 32

quasidifference, 23, 33
quasi-proximity, 95

R

relation

anchored, 40, 238

between posets, 238
finitary, 239
infinitary, 239
on powersets, 238

reloid, 133

co-complete, 141
complete, 141
convex, 137
destination, 133
domain, 137
identity, 137
image, 137
injective, 140
inward, 151
monovalued, 140
outward, 151
principal, 133
reverse, 133
source, 133

restricted identity reloid, 137
restricting

funcoid, 108
rectangular, 163

reloid, 137
square, 163

Rudin-Keisler equivalence, 181

S

semigroup, 27
semilattice

join-semilattice, 14
meet-semilattice, 14

separable, 29

atomically, 30

separation subset, 29
set

closed, 92

in metric space, 89

open, 92

in metric space, 89

partially ordered, 12

small set, 10
source, 26
space

metric, 89
preclosure, 90

induced by topology, 93

pre-topological, 90
proximity, 95
topological, 92

induced by preclosure, 92

uniform, 172

star

core, 52
free, 31
full, 29

star composition, 253
star-morphism, 253
staroid, 239

completary, 239
generated, 241
identity

big, 289
small, 288

principal, 241

starrish, 32
straight map, 28
subcategory

wide, 27

subelement, 12
sublattice

closed, 18

substractive, 16
sum

structured, 41

supremum, 14

T

topology, 92
torning, 39

U

ultrafilter, 69

trivial, 69

uncurrying, 40
uniformity, 172
upgraded staroid