background image

binary

. . . . . . . . . . . . . . . . . . . . . . .

?

join innite distributive

. . . . . . . . . . . . . . .

?

join semilattice

homomorphism

. . . . . . . . . . . . . . . . . .

?

joining elements

. . . . . . . . . . . . . . . . . . .

?

Kuratowski's lemma

. . . . . . . . . . . . . . .

?

,

?

lattice

. . . . . . . . . . . . . . . . . . . . . . . . .

?

boolean

. . . . . . . . . . . . . . . . . . . . . .

?

center

. . . . . . . . . . . . . . . . . . . . . . .

?

co-brouwerian

. . . . . . . . . . . . . . . . . . .

?

co-Heyting

. . . . . . . . . . . . . . . . . . . .

?

complete

. . . . . . . . . . . . . . . . . . . . .

?

distributive

. . . . . . . . . . . . . . . . . . . .

?

homomorphism

. . . . . . . . . . . . . . . . . .

?

least element

. . . . . . . . . . . . . . . . . . .

?

,

?

limit

. . . . . . . . . . . . . . . . . . . . . . . . . .

?

generalized

. . . . . . . . . . . . . . . . .

?

,

?

,

?

linearly ordered set

. . . . . . . . . . . . . . . . . .

?

lower bound

nontrivial

. . . . . . . . . . . . . . . . . . . .

17

maximal element

. . . . . . . . . . . . . . . . . . .

?

maximum

. . . . . . . . . . . . . . . . . . . . . . .

?

meet

. . . . . . . . . . . . . . . . . . . . . . . . .

?

binary

. . . . . . . . . . . . . . . . . . . . . . .

?

meet innite distributive

. . . . . . . . . . . . . .

?

meet semilattice

homomorphism

. . . . . . . . . . . . . . . . . .

?

metacomplete

. . . . . . . . . . . . . . . . . . . .

?

metainjective

. . . . . . . . . . . . . . . . . . . . .

?

metamonovalued

. . . . . . . . . . . . . . . . . . .

?

minimal element

. . . . . . . . . . . . . . . . . . .

?

minimum

. . . . . . . . . . . . . . . . . . . . . . .

?

monotone

. . . . . . . . . . . . . . . . . . . . . . .

?

monovalued

funcoid

. . . . . . . . . . . . . . . . . . . . . .

?

morphism

. . . . . . . . . . . . . . . . . . . . .

?

reloid

. . . . . . . . . . . . . . . . . . . . . . .

?

morphism

. . . . . . . . . . . . . . . . . . . . . . .

?

bijective

. . . . . . . . . . . . . . . . . . . . . .

?

entirely dened

. . . . . . . . . . . . . . . . . .

?

identity

. . . . . . . . . . . . . . . . . . . . . .

?

injective

. . . . . . . . . . . . . . . . . . . . . .

?

monovalued

. . . . . . . . . . . . . . . . . . . .

?

surjective

. . . . . . . . . . . . . . . . . . . . .

?

symmetric

. . . . . . . . . . . . . . . . . . . . .

?

transitive

. . . . . . . . . . . . . . . . . . . . .

?

unitary

. . . . . . . . . . . . . . . . . . . . . .

?

multifuncoid

. . . . . . . . . . . . . . . . . . . . .

?

completary

. . . . . . . . . . . . . . . . . . . .

?

multigraph

directed

. . . . . . . . . . . . . . . . . . . . . .

?

multireloid

. . . . . . . . . . . . . . . . . . . . . .

?

convex

. . . . . . . . . . . . . . . . . . . . . . .

?

principal

. . . . . . . . . . . . . . . . . . . . .

?

object

. . . . . . . . . . . . . . . . . . . . . . . . .

?

open map

. . . . . . . . . . . . . . . . . . . . . . .

?

order

dual

. . . . . . . . . . . . . . . . . . . . . . . .

?

of pre-multifuncoid sketches

. . . . . . . . . . .

?

Rudin-Keisler

. . . . . . . . . . . . . . . . . . .

?

order embedding

. . . . . . . . . . . . . . . . . . .

?

order homomorphism

. . . . . . . . . . . . . . . .

?

order isomorphism

. . . . . . . . . . . . . . . . . .

?

ordinal

. . . . . . . . . . . . . . . . . . . . . . . .

?

ordinal number

. . . . . . . . . . . . . . . . . . . .

?

ordinal variadic

. . . . . . . . . . . . . . . . . . . .

?

partial order

. . . . . . . . . . . . . . . . . . . . .

?

restricted

. . . . . . . . . . . . . . . . . . . . .

?

strict

. . . . . . . . . . . . . . . . . . . . . . .

?

partially ordered set

atomic

. . . . . . . . . . . . . . . . . . . . . . .

?

atomistic

. . . . . . . . . . . . . . . . . . . . .

?

bounded

. . . . . . . . . . . . . . . . . . . . . .

?

partition

strong

. . . . . . . . . . . . . . . . . . . . . . .

?

weak

. . . . . . . . . . . . . . . . . . . . . . . .

?

path

. . . . . . . . . . . . . . . . . . . . . . . . . .

?

poset

. . . . . . . . . . . . . . . . . . . . . . . . .

?

atomic

. . . . . . . . . . . . . . . . . . . . . . .

?

atomistic

. . . . . . . . . . . . . . . . . . . . .

?

bounded

. . . . . . . . . . . . . . . . . . . . . .

?

dual

. . . . . . . . . . . . . . . . . . . . . . . .

?

separable

. . . . . . . . . . . . . . . . . . . . .

?

starrish

. . . . . . . . . . . . . . . . . . . . . .

?

precategory

. . . . . . . . . . . . . . . . . . . . . .

?

dagger

. . . . . . . . . . . . . . . . . . . . . . .

?

partially ordered

. . . . . . . . . . . . . . . . .

?

pre-category

. . . . . . . . . . . . . . . . . . . . .

?

partially ordered

. . . . . . . . . . . . . . . . .

?

with star-morphisms

. . . . . . . . . . . . .

?

with star morphisms

induced by dagger pre-category

. . . . . . .

?

with star-morphisms

. . . . . . . . . . . . . . .

?

quasi-invertible

. . . . . . . . . . . . . . . .

?

preclosure

. . . . . . . . . . . . . . . . . . . . . . .

?

pre-multifuncoid

. . . . . . . . . . . . . . . . . . .

?

pre-multifuncoid sketch

. . . . . . . . . . . . . . .

?

on powersets

. . . . . . . . . . . . . . . . . . .

?

preorder

. . . . . . . . . . . . . . . . . . . . . . .

?

pre-staroid

. . . . . . . . . . . . . . . . . . . . . .

?

corresponding to pre-multifuncoid

. . . . . . . .

?

pre-topology

induced by metric

. . . . . . . . . . . . . . . .

?

prime element

. . . . . . . . . . . . . . . . . . . .

?

principal

funcoid

. . . . . . . . . . . . . . . . . . . . . .

?

product

cartesian

. . . . . . . . . . . . . . . . . . . . .

?

cross-composition

. . . . . . . . . . . . . . .

?

,

?

displaced

. . . . . . . . . . . . . . . . . . . . .

?

funcoidal

. . . . . . . . . . . . . . . . . .

?

,

?

,

?

oblique

. . . . . . . . . . . . . . . . . . . . . .

?

ordinated

. . . . . . . . . . . . . . . . . . . . .

?

reindexation

. . . . . . . . . . . . . . . . .

?

,

?

reloidal

. . . . . . . . . . . . . . . . . . . . . .

?

starred

. . . . . . . . . . . . . . . . . . . . .

?

second

. . . . . . . . . . . . . . . . . . . . . . .

?

simple

. . . . . . . . . . . . . . . . . . . . . . .

?

staroidal

. . . . . . . . . . . . . . . . . . . . .

?

subatomic

. . . . . . . . . . . . . . . . . . . . .

?

projection

staroidal

. . . . . . . . . . . . . . . . . . . . .

?

proximity

. . . . . . . . . . . . . . . . . . . . . . .

?

pseudocomplement

. . . . . . . . . . . . . . . . . .

?

dual

. . . . . . . . . . . . . . . . . . . . . . . .

?

pseudodierence

. . . . . . . . . . . . . . . . . . .

?

pseudofuncoid

. . . . . . . . . . . . . . . . . . .

13

quasicomplement

. . . . . . . . . . . . . . . . . . .

?

dual

. . . . . . . . . . . . . . . . . . . . . . . .

?

quasidierence

. . . . . . . . . . . . . . . . . .

?

,

?

second

. . . . . . . . . . . . . . . . . . . . . . .

?

quasi-proximity

. . . . . . . . . . . . . . . . . . . .

?

Index

259