background image

INDEX

390

identity, 35
identity relation, 15, 361
image

of funcoid, 149

independent family, 124
inequality

triangle, 127

infimum, 17
infinitary

relation

anchored, 312

infinite distributive, 21
injective

funcoid, 169
reloid, 183

intersecting elements, 16
inverse, 31
involution, 32
isomorphic

filters, 231

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, 270

generalized, 270

linearly ordered set, 16
lower bound

nontrivial, 361

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

homomorphism, 24

minimal element, 17
monotone, 24
monovalued

funcoid, 169
reloid, 183

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, 317

on powersets, 317

multifuncoid, 317
multigraph

directed, 31

multireloid, 339

convex, 342
principal, 342

object, 31
open map, 171
order

of mults, 319
Rudin-Keisler, 231

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, 218
poset

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

pre-staroid, 312
pre-topology

induced by metric, 129

precategory, 31

dagger, 43
partially ordered, 43

with star-morphisms, 327

with star-morphism

induced by dagger precategory, 329

with star-morphisms, 327

quasi-invertible, 328

preclosure, 128
preorder, 15
preserve filtered meets, 144
pretopology, 128
prime element, 92
principal

funcoid, 143