background image

INDEX

392

ideal base, 69
idempotent, 25
identity, 35
identity relation, 15, 369
image

of funcoid, 157

independent family, 124
inequality

triangle, 135

infimum, 17
infinitary

relation

anchored, 320

infinite distributive, 21
injective

funcoid, 177
reloid, 191

intersecting elements, 16
inverse, 31
involution, 32
isomorphic

filters, 239

isomorphism, 31

join, 17

binary, 17

join infinite distributive, 21
join semilattice

homomorphism, 24

joining elements, 16

Kuratowski’s lemma, 23

lattice, 18

boolean, 21
center, 22
co-brouwerian, 28
co-Heyting, 28
complete, 18
distributive, 19
homomorphism, 24

least element, 15, 16
limit, 278

generalized, 278

linearly ordered set, 16
lower bound

nontrivial, 369

maximal element, 17
meet, 17
meet infinite distributive, 21
meet semilattice

homomorphism, 24

minimal element, 17
monotone, 24
monovalued

funcoid, 177
reloid, 191

Morgan’s laws, 21
morphism, 31

bijective, 45
co-metacomplete, 45
entirely defined, 44
identity, 31

injective, 44
involutive, 32
metacomplete, 45
metainjective, 45
metamonovalued, 45
monovalued, 44
surjective, 44
symmetric, 43
transitive, 43
unitary, 43
weakly co-metacomplete, 46
weakly metacomplete, 45
weakly metainjective, 45
weakly metamonovalued, 45

mult, 325

on powersets, 325

multifuncoid, 325
multigraph

directed, 31

multireloid, 347

convex, 350
principal, 350

object, 31
open map, 179
order

of mults, 327
Rudin-Keisler, 239

order embedding, 24
order homomorphism, 24
order isomorphism, 24
order reflecting, 36
ordinal, 48
ordinal variadic, 49

partial order, 15

restricted, 15
strict, 15

partition

strong, 46
weak, 46

path, 226
poset, 15

bounded, 18
separable, 37
starrish, 79
strongly separable, 37

pre-staroid, 320
pre-topology

induced by metric, 137

precategory, 31

dagger, 43
partially ordered, 43

with star-morphisms, 335

with star-morphism

induced by dagger precategory, 337

with star-morphisms, 335

quasi-invertible, 336

preclosure, 136
preorder, 15
preserve filtered meets, 152
pretopology, 136
prime element, 92