Navigation
index
Algebraix Technology Core Library 1.4 documentation
»
Index
A
|
B
|
C
|
D
|
E
|
F
|
G
|
I
|
L
|
M
|
P
|
R
|
S
|
T
|
U
|
Z
A
absolute
absolute clan
absolute couplet
absolute ground set
absolute multiclan
absolute multiset
absolute relation
absolute set
algebra
algebra of clans
algebra of couplets
algebra of multiclans
algebra of multisets
algebra of relations
algebra of sets
atom
B
bijective
binary extension
binary intersection
binary multi-extension
binary operation
binary relation
binary union
C
Cartesian product
clan
clan diagonal
complement
composition
couplet
cross-functional union
cross-intersection
cross-left-functional union
cross-right-functional union
cross-substriction
cross-superstriction
cross-union
D
diagonal
difference
E
equivalence relation
extension
F
finite intersection
finite union
function
functional
functional union
G
ground set
I
identity element
intersection
L
left
left component
left set
left-functional
left-functional union
left-regular
lhs-cross-functional union
lhs-cross-left-functional union
M
multi-cross-intersection
multi-cross-substriction
multi-cross-superstriction
multi-cross-union
multiclan
multiplicity
multiset
multiset addition
multiset difference
multiset intersection
multiset union
P
partition
power set
projection
R
reflexive
regular
relation
right
right component
right multiset
right set
right-functional
right-functional union
right-regular
S
set
set A
set M
set N
submultiset
subset
substriction
supermultiset
superset
superstriction
symmetric
symmetric difference
T
transitive
transposition
U
unary extension
unary multi-extension
unary operation
union
Z
Zermelo-Fraenkel set theory with choice (ZFC)
Quick search
Navigation
index
Algebraix Technology Core Library 1.4 documentation
»