background image

duality

partial order

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

?

edge

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

?

edge part

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

?

element

of ltrator

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

?

embedding

reloids into funcoids

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

?

,

?

endo-funcoid

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

?

endomorphism

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

?

symmetric

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

?

transitive

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

?

endomorphism series

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

?

endo-reloid

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

?

entirely dened

morphism

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

?

equivalent

lters

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

?

lter

closed

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

?

conite

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

?

directly isomorphic

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

?

Fréchet

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

?

on a meet-semilattice

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

?

on a poset

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

?

on a set

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

?

on meet-semilattice

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

?

on poset

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

?

on powerset

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

?

on set

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

?

principal

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

?

,

?

proper

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

?

rebase

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

?

lter base

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

?

generalized

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

?

of a lter

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

?

generated by

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

?

lter-closed

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

?

ltrator

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

?

central

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

?

complete lattice

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

?

down-aligned

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

?

ltered

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

?

lattice

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

?

of funcoids

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

?

powerset

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

?

preltered

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

?

semiltered

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

?

star-separable

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

?

up-aligned

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

?

with co-separable core

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

?

with nitely join-closed core

. . . . . . . . . . .

?

with nitely meet-closed core

. . . . . . . . . .

?

with join-closed core

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

?

with meet-closed core

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

?

with separable core

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

?

nite intersection property

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

?

form

of star-morphism

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

?

free star

complete

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

?

funcoid

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

?

,

?

,

?

co-complete

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

?

complete

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

?

destination

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

?

identity

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

?

induced by reloid

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

?

injective

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

?

monovalued

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

?

open

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

?

pointfree

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

?

co-complete

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

?

co-completion

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

?

complete

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

?

composable

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

?

composition

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

?

destination

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

?

domain

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

?

identity

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

?

image

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

?

injective

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

?

monovalued

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

?

order

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

?

restricted identity

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

?

restricting

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

?

source

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

?

zero

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

?

principal

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

?

restricted identity

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

?

reverse

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

?

separable

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

?

source

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

?

funcoidal reloid

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

?

function

variadic

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

?

function space of posets

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

?

Galois

connection

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

?

Galois connection

between funcoids and reloids

. . . . . . . .

?

,

?

generalized closure

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

?

pointfree

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

?

graph

of anchored relation

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

?

,

?

greatest element

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

?

,

?

Grothendieck universe

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

?

,

?

group

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

?

permutation

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

?

transitive

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

?

group theory

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

?

,

?

groupoid

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

?

ideal

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

?

idempotent

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

?

identity

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

?

identity relation

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

?

,

17

image

of funcoid

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

?

independent family

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

?

inequality

triangle

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

?

inmum

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

?

innite distributive

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

?

injective

funcoid

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

?

morphism

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

?

reloid

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

?

intersecting elements

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

?

inverse

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

?

isomorphic

lters

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

?

isomorphism

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

?

join

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

?

258

Index