Abelian group 19
Absorption law 21
Additively irreducible 104
Agree, f and g agree on U 6
Algebra,  -algebra 16
Algebraic closure operation 90
Algebraic intersection structure 89
Algebraic lattice 23
Algebraic operation 87
Antichain 12
Ascending chain condition 12
Auromorphism group 33
Automorphism 214
Boolean algebra 23
Boolean ring 166
Cancelable 137
Canonical map (of U into U/R) 9
Cardinal 12
Cardinal product 4 7
Cartesian product of maps 14
Cartesian product of sets 4
Chain 12
Class, R-class 5
Closed under an operation 66
Closure operator 89
Closure, free closure of a partial algebra 178
Coincides R and S coincide in V 4
Commit ative 18 19
Compact element 23
Compactly generated 23
Comparable elements 12
Compatible multiplicity types 97
Complement (in a lattice) 23
Complement of a set 2
Complemented lattice 23
Complete lattice 23
Composition of functions 6
Composition of operations 15
Confinement of R to U 14
Congruence relation 149 177
Connected component 20 68
Connected elements 20 68
Connected graph 20
Connected structure 68
Converse of a binary relation 5
Core of a l-unary algebra 69
Countably generated 79
Cycle of a graph 20
Cyclic algebra 79
Denumerable structure 17
Descending chain condition 12 120
Determined, a substructure determined by a subuniverse 66
Directed downward 11
Directed family 3
Directed upward 11
Distinguished element 18
Distinguished subset 18
Distributive ideal 161
Distributive lattice 22
Division ring 19
Domain of a relation 4
Dual of a lattice 21
Edge of a graph 20
Endomorphism 214
Endomorphism monoid 33
Epimorphism 213
Epimorphism over a structure 148
Equivalence relation 8
Extension 66
Family of sets 3
Field 19
Field of a relation 4
Finite similarity type 17
Finite structure 17
Finitely generated 79
Frattini subgroup 83
Function 6
Generate 77 78 79 177
Graph 20
Greatest lower bound 11
Group 19
Groupoid 18
Homomorphism 24
Ideal 104 158
Idempotent element 19
Identity element 17 19
identity map 7
Image 5
Inclusion relation 21
Induced map 13
Infinite structure 17
Intersection structure 89
Interval of a lattice 159
Isolated vertex of a graph 20
Isomorphic 25
Isomorphism 24
Isomorphism type 25
Join (in a lattice) 23
Juxtaposition 82
Kernel 9
largest element 11
Lattice 21
Lattice ordered 12
| Lattice ordered groupoid 20
Lattice ordered ring 21
Lattice ordering structure 20
Least upper bound 11
Linearly ordered groupoid 20
Linearly ordered ring 21
Linearly ordering 10
Linearly ordering structure 20
Linearly orders 10
Locally finite 111
Loop 19
Loop of a graph 20
Lower bound 11
MAP 6 7
Maximal condition 12
Maximal element 11
Minimal condition 12
Minimal element 11
Modular lattice 22
Monoid 19
Monomorphism 213
Multiplicity type 96
Natural map 13
Non-denumerable structure 17
Non-generator 80
Non-trivial structure 21
Normal subloop 162
One-to-one 7
Operation 15
Order of a structure 17
Ordered m-tuple 3
Ordinal number 12
Partial algebra 177
Partial operation 176
Partial subalgebra 177
Partially order 10
Partially ordered groupoid 20
Partially ordered ring 20
Partially ordering 10
Partially ordering structure 20
Partition 3
Polynomial operation 84
Power of a class 8
Preserve, a map - s an operation 148
Projection 13
Proper extension 66
Proper substructure 66
Pure structure 16
Quasi group 19
Quasi-order, R quasi-orders U 10
Quasi-ordering 10
Quasi-ordering structure 20
RANGE 4
Rank of a relation 4
Rank of an operation 15
Reduct 181
Reflexive element 60
Reflexive relation 8
Regular cardinal 121
Relate, R relates b to a 4
Relation 4 151
Relational structure 16
Relative product 5
Relatively closed 177
Relatively complemented 160
Restriction of a function 6
Rigid structure 48
Ring 19
Root algebra 27
Sectionally complemented 163
Semi-ideal 45 104
Semigroup 19
Semilattice 19
Set-field 3
Set-ring 3
Similar structures 16
Similarity type 16
Simple algebra 214
Simply ordering 10
Simply orders 10
Singular cardinal 121
Smallest element 11
Structure 16
Sub algebra 66
Substitution property 151
Substructure 66
Subuniverse 66 177
Symmetric graph 20
Symmetric relation 8
Term of a sequence, torsion free group 60
Transitive relation 8
Trivial structure 214
Unary algebra 16
Undirected graph 20
Unit of a lattice 23
Universe 17
Upper bound 11
Versatile monoid 136
Vertex of a graph 20
Well-behaved ideal 158
Well-ordered 12
Well-ordering structure 20
Zero of a lattice 23
Zero, right - of a monoid 137
|
|
|
О проекте