| . |
|---|
| 0 |
| ($g$-)Hilbert) algebra |
| $*$-ideals, involution |
| $(m,n)$-$\Gamma$-hyperideal |
| ($n$-idempotent) EQ-algebra |
| $*$-prime rings |
| 0-regular varieties |
| $2$-absorbing filter |
| $2$-absorbing quasi-primary ideal |
| $2$-packing |
| (2,n)-ring |
| $2^p$-th roots |
| 2-primal $\Gamma$-semiring |
| 2-primal ideal |
| 2-testable |
| 3-prime ideals |
| 3-prime near ring, homoleft multiplier, homoright |
| $\alpha$-closed sets |
| $\alpha$-irresolute topological group |
| $\alpha$-open sets |
| $\alpha$-topological groups |
| \beta)$-derivation |
| \beta)$-derivation and additive mappings |
| $\beta$-filters |
| (closed) ideal |
| (commutative) superior ideal |
| (complete) q-lattice |
| $\delta $-ideal |
| (distributive) bisemilattices |
| $\ell$-group |
| (extented) Menger multisemigroup (of operations) |
| (fuzzy) Boolean ideal |
| (fuzzy) filter |
| (fuzzy) G\"{o}del ideal |
| $\Gamma$-field |
| $\Gamma$-group |
| $\Gamma$-ideals |
| $\Gamma$-ring |
| $\Gamma$-semigroup |
| $\Gamma$-semiring |
| $\Gamma$-semirings |
| $(\Gamma,n)$-semihypergroup |
| (generalised) Boolean and conjuctive lattices |
| (Heyting |
| (independent) classification system |
| (k+1) - level inflation of algebras |
| \linebreak archimedean $\ell$-group |
| $(m |
| (m, n)-ring |
| ${\mathcal N}$-filters |
| $\mathcal{C}_1$-diagrams |
| (maximal) ideal |
| $(M,N)$-DFS AG-groupoid |
| $(M,N)$-DFS bi-ideal |
| $(M,N)$-DFS generalized bi-ideal |
| $(m,n)$-ideal (element) |
| (m,n)-division rings |
| (m,n)-rings of quotients |
| (m,n)-rings semicommutative (m,n)-rings |
| (m,n)-semidomains |
| (MTL,BL, RL)-triangle algebras |
| $\mu$-filter |
| \mu-open set |
| \mu-radical |
| \mv-algebra |
| {\"O}re localizations of nondistributive rings |
| (P, Q, B)-operator |
| $\pi$-inverse |
| $\pi$-regular |
| (pseudo-)BCK/BCI/BCH-algebra |
| (quasi-) Frobenius property |
| (relative) (L_n)-lattice |
| {\rm G}-simple |
| (semi-) perfect rings |
| (semi)prime rings |
| $\sigma $-filter |
| $\sigma$-filter |
| (strong) negative s-cut |
| (strong) positive t-cut |
| (strong) set-valued $BCK/BCI$-morphism |
| (strongly) Stone lattice |
| $\theta$-filter |
| $\Theta$-relation |
| (transitive |
| (unitary) Menger algebra |
| (U,V)-operator |
| (V_1,V_2)-proper hypersubstitution |
| $\vee e$-semigroup |
| {\v{Z}}ivkovi{ć} numbers |
| (weak) interior GE-filter |
| $\wedge$-semidistributivity |
| A |
| abelian extension |
| abelian group |
| abelian groups |
| absolute convex retract |
| absolute retracts |
| absorption algebra |
| abstract characterization of Menger algebras |
| abundance |
| accessible cardinal |
| additive and mutual additive inverses |
| additive groups of rings |
| additive hereditary property |
| additive regular semiring |
| additively regular $\Gamma$-semirings |
| adjoint functor |
| affine space |
| affine spaces |
| affine spaces and their subreducts |
| Agassiz sum |
| aggregation |
| AG-groupoid |
| algebraic Brouwerian lattice |
| algebraic closure system |
| algebraic lattice |
| algebraic system |
| algebraically closed algebra |
| algebras |
| algebras of subalgebras |
| almost Dedekind domain |
| almost distributive lattice |
| Almost Distributive Lattice (ADL) |
| Almost Distributive Lattices (ADL) |
| almost semi-Heyting algebra |
| alternative commutative algebra |
| analytic continuation |
| analytic monoid |
| and semiprime semirings |
| and zero divisor graph |
| annhilator |
| Annihilating ideal |
| annihilating-ideal graph |
| Annihilating-ideal graph |
| annihilating-submodule graph |
| annihilator |
| annihilators |
| annulet |
| anti-automorphism |
| antichain |
| anti-inverse semigroup |
| antitone and monotone transformations |
| antitone involution |
| Apostol-Vu multiple Fibonacci zeta function |
| arbitrary graph |
| archimedean |
| arithmetic and geometric mean |
| arithmetical variety |
| Artinian Clifford semiring |
| Artinian hoop |
| Artinianity property |
| associated prime ideals |
| associative graph algebras |
| associativity |
| atom |
| atomistic complete lattice |
| atomistic lattice |
| Auslander regularity condition |
| automaton |
| automaton mapping |
| autometrized l-algebra (normal, semiregular) |
| automorphism |
| automorphism group |
| automorphism group of a graph |
| autotopism |
| autotopism group |
| axiomatic quantum mechanics |
| axiomatic system |
| B |
| B$_p$-subalgebras |
| $B$-pure |
| Baer ring |
| balanced algebra |
| balanced congruence |
| balanced lattice |
| balanced order relation |
| balanced variety |
| balancing number |
| balancing numbers |
| B-algebras |
| bands |
| barycentric algebra |
| barycentric algebras |
| basic and non-basic triangles |
| basis of ideal terms |
| BCC-algebra |
| BCK-algebras |
| BDLC-algebra |
| BE-algebra |
| BE-algebras |
| $BE/CI$-algebra |
| Bell polynomials. |
| belligerent GE-filter |
| belligerent interior GE-filter (of type $1$ |
| Bernoulli numbers |
| BI-algebra |
| bicyclic graph |
| bicyclic semigroup |
| biggest associate |
| bihyperbolic numbers |
| bi-ideal |
| Bi-ideal elements |
| bi-ideals |
| bi-interior ideal |
| bi-interior simple $\Gamma$-semiring |
| bi-interior simple semigroup |
| bilinear forms |
| bimatrix game |
| binary algebra |
| Binet formula |
| Binet's formula |
| binomial coefficients |
| bipartite pseudo MV-algebra |
| bipolar-valued fuzzy two-sided ideal |
| bi-quasi ideal |
| bi-quasi-interior ideal |
| biregular identity |
| biregular leftmost graph varieties |
| Birkhoff theorems |
| bisimple inverse monoid |
| bi-ternary ring |
| bivariate complex Fibonacci polynomials |
| bivariate complex Lucas polynomials |
| $BL$-algebra |
| BL-algebra |
| boolean algebra |
| Boolean algebra |
| Boolean algebras |
| Boolean filter |
| Boolean filters |
| Boolean function |
| boolean matrix |
| Boolean operation |
| Boolean rank of a matrix |
| Boolean ring |
| booster |
| bounded lattice |
| box lattice |
| B-prime of $(0)$ |
| Brauer group |
| Brauer-Wall group |
| Brouwerian algebra |
| Brouwerian algebra, lattice ordered group |
| Brouwerian ordered set |
| Brouwerian semilattice |
| Bryant-Schneider group |
| C |
| Cantor extension of a half lc-group |
| cartesian closed category |
| cartesian product |
| categorical equivalence |
| categorical ideals |
| Cauchy completion |
| Cayley graph |
| Cayley-Dickson process |
| C-complete half lc-group |
| center |
| center of a graph |
| central cover |
| central derivation |
| central ideal |
| central orthocompleteness |
| central relations |
| centralizer |
| centre |
| chain |
| chain semiring |
| changing alphabet |
| character of a group |
| Chinese reminder |
| chromatic number |
| circulant graph |
| CJ-generated complete lattice |
| class number |
| classification lattice |
| clean ring |
| Clifford (completely regular) ordered semigroup |
| Clifford congruence |
| Clifford semidomain |
| Clifford semifield |
| Clifford semigroup |
| Clifford semiring |
| clique number |
| clone |
| clone of T-terms |
| clones |
| closure operator |
| closure system |
| coalgebra |
| co-annihilating graph |
| co-annihilator |
| codes over $\mathbb{Z}_4+u\mathbb{Z}_4$ |
| Coding theory |
| cofinal subset |
| Cohen-Macaulay rings |
| coherent filter |
| Coherent lattice |
| coherent varieties |
| coin graph |
| commutation of an operation |
| commutative |
| commutative $BE$-algebra |
| commutative $\Gamma$-ring |
| commutative basic algebra |
| commutative Moufang loop |
| commutative residuated join-semi\-lattice |
| commutative residuated lattice |
| commutative ring |
| commutativity and ideals |
| commutator lattice |
| commutators |
| commutators of universal algebras |
| commuting derivation |
| compact |
| compact set |
| companion matrix |
| companion polynomials |
| complement of the zero-divisor graph |
| complemented |
| complete $\ell$-group |
| complete and completely distributive lattice |
| complete distributivity |
| complete graph |
| complete lattice |
| complete lattices |
| complete residuated ADL |
| completely regular |
| completely Archimedean semiring |
| completely Archimedean semirings |
| completely prime ideal |
| completely regular |
| completely regular element |
| completely regular semigroup congruence |
| completely semiprime ideal |
| completely simple semiring |
| completion of a half lc-group |
| complex algebras |
| complex numbers |
| complexity of a hypersubstitution |
| complicated BE-algebras |
| composition series |
| computer program |
| concept algebra |
| concept lattice |
| congruence |
| congruence class |
| congruence distributive |
| congruence distributivity |
| congruence kernel |
| congruence k-submodularity |
| congruence lattice |
| congruence operator on matrices |
| congruence permutability |
| congruence permutability at 0 |
| congruence regularity |
| congruence regularity at 0 |
| congruence relation |
| congruence-permutable |
| congruence-preserving extension |
| congruence-regular |
| congruences |
| congruence-uniform |
| congurence arithmeticity at 0 |
| congurence-permutable variety |
| conjugacy |
| conjugate pair of additive closure operators |
| connected unary operation |
| Conrad's partial order |
| context |
| continued fraction |
| continuity |
| convergence regulator |
| convergent sequence |
| convex set |
| convex sets |
| convex subalgebra (ideal) of a normal autometrized l-algebra |
| convex subset |
| convexity theory |
| coproduct |
| core of a graph |
| coregularity |
| corresponding and covering groups |
| cospectral graphs |
| cover-preserving extension |
| crosscap |
| crypto-automorphism |
| cryptographic problem |
| cubic bi-ideal |
| cubic generalized bi-ideal |
| cubic left (right) ideal |
| cut |
| cut completion |
| cut vertex |
| cycles |
| cyclically ordered group |
| cyclotomic field |
| D |
| $D$-normal ADL |
| dedekind cut |
| Dedekind-finite ring |
| Dedekind-MacNeille completion |
| deductive system |
| defining relation |
| degree of proper hypersubstitutions |
| dense element and stone almost distributive lattice |
| dense elements |
| dense subset |
| dependent element |
| derivation |
| derivation diagrams |
| derivations |
| derivations |
| derivations and commutators |
| derivations and generalized derivations |
| derived algebras |
| descending chain condition for left (right) ideals |
| determinant |
| developed Zariski topology-graph |
| DFS int-uni product |
| DFS-set |
| dhts-category |
| dht-symmetric functor |
| diagonal inversion |
| diagonal operation |
| diagonal relation |
| diagonalhyperalgebra |
| diameter |
| difference sets |
| differential algebra |
| differential groupoid |
| dihedral group |
| diophantine equations |
| direct decomposition |
| direct factor |
| direct product |
| direct product of lattices, generating |
| direct products |
| direct sum |
| directoid |
| Dirichlet characters |
| discrete valuation domain |
| discriminator function |
| disjunctive ideal |
| disjunctive inclusion property |
| distributive category |
| distributive implication groupiods |
| distributive lattice |
| distributive lattices |
| distributive lattices of left k-simple semirings |
| distributive multisemilattices |
| distributive ordered set |
| distributive semigroup |
| distributive set |
| distributive Steiner quasigroup |
| distributive trice |
| distributivity |
| distributivity at 0 |
| divisibility |
| divisible |
| division $\Gamma$-semiring |
| d-lattice |
| d-monoidal functor |
| dominate |
| Dominating sets |
| domination number |
| Domination number of a graph |
| double Boolean algebra |
| double implication algebra |
| double negation law |
| downward closed |
| DRl-monoid |
| DRl-semigroup |
| dual ($S/Q/BCK$)-algebra |
| dual annihilator filter |
| dual congruence regularity |
| dual numbers |
| dualautomorphism |
| duality |
| dually residuated lattice ordered semigroup. |
| dually residuated lattice ordered semigroup. Brouwerian algebra |
| dually residuated lattice-ordered semigroup |
| duo modules |
| E |
| edging hypersubstitution |
| effect algebra |
| eGE-algebra |
| E-inversive semigroup |
| E-inversive semiring |
| element order |
| elements of infinite order |
| elliptic curves |
| embedding |
| endomorphism |
| endomorphism semiring |
| entropic |
| entropic laws |
| entropic quasigroups |
| EQ-algebra |
| equation |
| equationally Noetherian |
| essential extension |
| essential ideal |
| essential submodules |
| essentially n-ary polynomial |
| essentially n-ary polynomial (term operation) |
| Euler-function |
| Eulerian |
| Eulerian graph |
| Eulerian lattices |
| exocenter |
| exponential diophantine equation |
| exponential integral function |
| exponential polynomial |
| extended annihilating-ideal graph |
| extended centroid |
| F |
| $f$-fixed points set |
| $f$-prime ideal |
| $F$-regular module |
| $f$-semi prime ideal |
| factorization |
| factorization of linear groups |
| Faigle geometry |
| feedback loop operation |
| Fenyves identities |
| Fermat's conjecture |
| Fermat's equation |
| Fibonacci numbers |
| Fibonacci sequences |
| filter |
| filtered-graded rings |
| finite commutative rings |
| finite dimension |
| finite direct product |
| finite distributive lattice |
| finite field |
| finite fields |
| finite graph |
| finite lattice |
| finite presemifield |
| finite ring |
| finite semifield |
| finite simple algebras |
| finitely based variety |
| first |
| floor function |
| flower |
| fluid varieties |
| forcing linearity number |
| formal concept |
| formal power series |
| formation |
| formula |
| formula |
| four-element generating set |
| four-part semigroup |
| fractegories and monoidal categories |
| free action |
| free groupoid |
| free groups |
| full term |
| fully invariant congruence relation |
| fully UP-semigroup |
| function classes |
| functional application |
| functor category |
| functor composition |
| Functorial partial algebras |
| fundamental semigroup |
| fundamental sequence |
| fundamental theorem of UP-homomorphisms |
| fuzzy bi ideals |
| fuzzy congruence relation |
| fuzzy distributive pair |
| fuzzy filter |
| fuzzy ideal |
| fuzzy lattices |
| fuzzy logic |
| fuzzy matrix |
| fuzzy maximal ideal and maximal fuzzy ideal |
| fuzzy modular pair |
| fuzzy n-fold obstinate filter |
| fuzzy point |
| fuzzy prime ideal |
| fuzzy (prime, maximal) ideal |
| fuzzy semi-distributive pair |
| fuzzy subalgebra |
| fuzzy sublattice |
| fuzzy topological subalgebra |
| Fuzzy type theory |
| fuzzy weakly prime ideal |
| G |
| Galois connection |
| Galois correspondence |
| Galois theory |
| Gaussian integers modulo $n$ |
| GE-algebra |
| GE-filter |
| general algebras |
| generalized $(\alpha |
| generalized $(\theta,\eta)$-biderivations |
| generalized approximation space |
| generalized bi-ideal |
| generalized Bol loop |
| generalized Boolean bi-quasiring |
| generalized Boolean quasiring |
| generalized centroid |
| generalized cohypersubstitutions |
| generalized conditional term |
| generalized derivation |
| generalized derivations |
| generalized Euler totient functions |
| generalized Fibonacci matrices |
| generalized hypersubstitution |
| generalized hypersubstitutions |
| generalized hypersubstitutions, algebraic systems, |
| generalized inflation |
| generalized inverse |
| generalized Jordan-Dedekind condition |
| generalized left $(\alpha |
| generalized left $(\theta,\eta)$-biderivations |
| generalized linear term |
| generalized lower rough subalgebra (ideal) |
| generalized matrix |
| generalized maximal $L$-fuzzy submodules |
| generalized non-deterministic hypersubstitution |
| generalized ortholattice |
| generalized polynomial identities |
| generalized pseudoeffect algebra |
| generalized quasi-orthodox semigroup |
| generalized reverse derivations |
| generalized rough set |
| generalized semidistribitive law |
| generalized stone almost distributive lattice |
| generalized Stone lattice |
| generalized Tribonacci numbers |
| generalized Tribonacci sequence |
| generalized upper rough subalgebra (ideal) |
| generating function |
| generating functions |
| generating sets |
| genomorphism |
| genus |
| geometric lattice |
| geometric polynomial |
| $GF$-reguar module |
| $gi$-algebra |
| girth |
| globally idempotent |
| glued sum |
| gluing |
| Goldie algebra |
| Goldie variety |
| good mapping, $f$-prime ideal |
| graded quaternion algebras |
| graph algebra |
| Gray map |
| Green's equivalences |
| green's relation |
| Green's relations |
| group |
| group congruence |
| group generated by time-varying automaton |
| group homomorphism, generalized dihedral group |
| group inverse |
| group of matrices |
| group ring |
| groupoid |
| groupoids |
| grupoid |
| H |
| $h$-ideal |
| Hadamard product |
| Hadamard's theorem |
| half lattice ordered group |
| half lc-group |
| halfdiagonal-halfterminal-symmetric category |
| Hall subgroup |
| Hamiltonian |
| harmonic numbers |
| Hausdorff space |
| hereditary property of graphs |
| Hilbert symbol equivalence |
| Hill's module |
| H-irreducibility |
| Hoehnke category |
| Hoehnke theory |
| holomorph of a loop |
| Hom-Akivis superalgebras |
| Hom-functor |
| Hom-Leibniz superalgebras |
| Hom-Lie-Yamaguti superalgebras |
| homomorphism |
| homomorphism theorems |
| hoop |
| Horadam numbers |
| hull kernel topology |
| hull-kernel topology |
| hybrid numbers |
| hyper $H_{v}$-groups |
| hyper BCI-algebra |
| hyper group |
| hyper ideal |
| hyper pseudo BCK-algebra |
| hyper residuated lattice |
| hyperbolic numbers |
| hypercubes |
| hyperfield |
| hyperfields |
| hyperformula |
| hyperidenties |
| hyperidentities |
| hyperidentity |
| hyperlattice |
| hyperring |
| hypersemigroup |
| hypersubstitution |
| hypersubstitutions |
| hyperunification problem |
| hypervector space |
| I |
| ideal |
| ideal based zero divisor graph |
| ideal elements |
| ideal extension |
| ideal of universal algebra |
| ideal term |
| ideal-based |
| ideals |
| ideals in BE-algebras |
| ideals of an algebra |
| idempotent |
| idempotent elements |
| idempotent elements, regular elements |
| idempotent graph |
| idempotent operation |
| idempotent operator |
| idempotent submonoids |
| identities |
| identities of a variety |
| identity |
| IF-filter |
| IFP (insertion of factor property) |
| imaginary quadratic field |
| implication |
| implication algebra |
| implication groupoid |
| implication groupoids |
| implitcation algebra |
| inaccessible cardinal |
| incidence structures |
| incline |
| independence |
| independent varieties |
| index of convergence |
| induced odd cycle |
| inequalities |
| inertia |
| infinite independent system of identities |
| inflation |
| injective pseudo-BCI algebra |
| integer coordinates |
| integral $\Gamma$-ring |
| integral 2×2 matrix |
| integral domain |
| integral incline |
| integral ordered $\Gamma$-semiring |
| integral ordered ternary semiring |
| integrally closed directed group |
| interior algebraic system |
| interior ideal |
| interior ideal elements |
| interior system |
| intersection graph |
| interval |
| interval matrix |
| intra regularity |
| intra-regular ordered |
| intuitionistic fuzzy bi ideals |
| intuitionistic fuzzy equivalence relation |
| intuitionistic fuzzy ideals |
| intuitionistic fuzzy monoid |
| intuitionistic fuzzy ordering relation |
| intuitionistic fuzzy set |
| intuitionistic fuzzy subnear ring |
| intuitionistic fuzzy t-norm |
| intuitionistic fuzzy weak order |
| invariant relations |
| invariant set |
| inverse |
| inverse graph |
| inverse semiring |
| invertible mapping |
| invertible submodules |
| involution |
| involution lattice |
| involutive pocrims |
| irreducible |
| irreducible ideal |
| irreducible module |
| isoclinism |
| isogenomorphism |
| isomorphism |
| isomorphism degree of proper hypersubstitutions |
| isotone |
| isotone $f$-derivation |
| isotone derivations and symmetric bi-derivations |
| isotone mapping |
| iterative algebra |
| J |
| Jacobson graph |
| Jacobson radical |
| j-ideal |
| join irreducible |
| join-independent and meet-independent sets |
| join-irreducible element |
| Jordan numbers |
| Jónsson-Tarski algebra |
| Jónsson-Tarski variety |
| jump |
| K |
| $k$-domination number |
| $k$-ideal |
| $k$-semifield |
| $k$-simplicity |
| $K^\ast(n |
| K-atlas |
| kernel |
| kernel ideal |
| Killing form |
| k-normal identities |
| k-normalization of a variety |
| k-radicals of Green's relations |
| kronecker product |
| Kronecker product |
| L |
| $L$-fuzzy multiplication modules |
| $L$-fuzzy Noetherian modules |
| $L$-fuzzy radical |
| LA-$\Gamma$-semihypergroup |
| Lallement sum |
| largest elements order |
| LA-semihypergroups |
| lattice |
| lattice identity |
| lattice of congruences |
| lattice of subgroups |
| lattice of subvarieties |
| lattice of topologies |
| lattice of varieties |
| lattice ordered group |
| lattice vector space |
| Lattice-ordered group |
| lattice-ordered monoid |
| lattices |
| lattices of varieties |
| Laurent polynomial |
| LCD codes, reversible codes. |
| lc-group |
| LDLI groupoids |
| Leavitt path algebra |
| Leavitt path algebras |
| Lee weight |
| left $f$-primary decomposition |
| left distributive |
| left distributivity |
| left exchangeable) GE-algebra |
| left idempotence |
| left k-regular semiring |
| left k-simple semiring |
| left regular |
| left (right) ideals |
| left (right) simple |
| left self-distributivity |
| left symmetric |
| left zeroid |
| left(right) centralizer |
| left-seminearring |
| leftsimple ternary semihypergroup |
| lexico extension |
| lexicographic sum |
| l-generalized reverse derivations |
| l-group |
| l-ideal |
| Lie algebra |
| Lie ideal |
| Lie ideals |
| linear and cyclic codes |
| linear code |
| linear equation |
| linear equations |
| linear groups |
| linear hypersubstitution |
| linear idientities |
| linear operator |
| linear operator on matrices |
| linear order |
| linear recurrences |
| linear term |
| linear terms |
| linear-solid variety |
| LISP |
| l-monoid |
| L^N-convex module |
| local cohomology modules |
| local cohomology modules defined by a pair of ideals |
| local congruence regularity |
| local n-permutability |
| local ring |
| locally finite p-group |
| locally finite variety |
| locally nilpotent |
| loop |
| lower semimodular lattice |
| Löwner ordering |
| Lucas sequences |
| Lucas-balancing number |
| Lucas-balancing numbers |
| Lyubeznik numbers |
| M |
| $m$-$k$-ideal |
| $M$-matrix |
| $M$-solid generalized non-deterministic variety |
| $M$-solid variety |
| $m$-system |
| Mal'cev condition |
| Mal'cev operation |
| Mal'cev theories |
| Mal'tsev algebra |
| Mal'tsev variety |
| Mann superposition |
| many-valued logic |
| many-valued logics |
| Martindale ring of quotients |
| m-ary group |
| MA-semiring |
| matching number |
| matrix $\Gamma$-semiring |
| matrix equations |
| matrix Fermat's type equations |
| matrix Ferment's type equations |
| matrix power |
| matrix representations of groups |
| max algebra |
| maximal B$_p$-sub-algebras |
| maximal column rank of a matrix |
| maximal element |
| maximal filter |
| maximal ideal |
| maximal \mu-open set |
| maximal N-prime of $(0)$ |
| Maximal N-prime of (0) |
| maximal submonoids |
| maximal subsemigroups |
| Mealy automaton |
| Mean Value Theorem |
| medial hyperalgebra |
| mediality |
| median filter |
| median of a graph |
| meet-irreducible |
| meet-reducible |
| Menger algebra |
| Menger superposition |
| M-hyperidentities |
| M-hyperidentities M-solid varieties |
| M-hyperidentity |
| middle unit |
| minimal bases for ideals |
| minimal clone |
| minimal element |
| minimal extension of a sequence |
| minimal extension of sequences |
| minimal prime filter |
| minimal prime ideal |
| Minimal prime ideal |
| minimal prime ideals |
| minimal subformation |
| $m-k$ ideal |
| modal |
| mode |
| modes |
| Modular and distributive lattice |
| modular commutator |
| modular decomposition |
| modular lattice |
| modular ordered set |
| modular poset |
| modularity |
| modularity at 0 |
| module |
| mono incline |
| mono ordered $\Gamma$-semiring |
| monoid of hypersubstitutions |
| monoidal functor |
| monoids of hypersubstitutions |
| monomial |
| monounary algebras |
| Moore-Penrose inverse |
| M-operator |
| Morita context |
| Morita equivalence |
| M\"{o}bius function |
| M-solid varieties of bands |
| M-solid variety of semigroups |
| M-solidvariety |
| multiple Fibonacci zeta function |
| multiplication |
| multiplier, homomultiplier. |
| Munn semigroup |
| $MV$-algebra |
| MV-algebra |
| N |
| n)$-$\Gamma$-hyperideals |
| $n$-ary quasigroup |
| $n$-fold filter |
| $n$-fold ideal |
| $n$-fold implicative ideal |
| $n$-fold implicative prefilter |
| $n$-fold obstinate ideal |
| $n$-fold positive implicative prefilter |
| $N$-matrix |
| $N_0$-matrix |
| Narayana number |
| n-ary endomorphism |
| n-ary group |
| n-ary groupoid |
| n-ary hyperalgebra |
| naturally ordered |
| nd-$K^\ast(n |
| nd-full hypersubstitution |
| near rings |
| nearring |
| nearrings |
| nearrings of quotients |
| near-semilattice |
| negatively ordered $\Gamma$-semigroup |
| n-fold commutative ideals |
| n-fold integral BL-algebra and fuzzy n-fold integra filter |
| n-fold obstinate BL-algebra |
| n-fold weak commutative ideals |
| n-groups |
| Nil ideals |
| nil-extension |
| nilpotency |
| nilpotent element |
| nilpotent Lie algebra |
| nilpotent Lie algebras |
| Noetherian hoop |
| Non-Artinian modules |
| non-associativity |
| non-deterministic linear hypersubstitution |
| nondistributive rings |
| nondistributive rings of quotients |
| nonidempotents |
| non-inverse graph |
| non-involutory negation |
| nonnegativity |
| nonreflexive orders |
| normal |
| normal ADL |
| normal extension |
| normal form term |
| normal hull |
| normal hyper pseudo BCK-ideal |
| normal ideal |
| normal lattice-ordered monoid |
| normal prime ideal |
| normalized Laplacian matrix |
| n-semigroups |
| null extension |
| nullity |
| number of sublattices |
| O |
| octonions |
| O-filter |
| operations of n-groups |
| operations preserving relations |
| operator semigroup |
| optimal mixed strategies |
| order prime divisor graph |
| ordered $\Gamma$-AG-groupoids |
| ordered $\Gamma$-semiring |
| ordered $\Gamma$-semirings |
| ordered $k$-regular hemiring |
| Ordered AG-groupoid |
| ordered hemiring |
| ordered idempotent |
| ordered idempotents |
| ordered inverse |
| ordered LA-$\Gamma$-semihypergroup |
| ordered LA-$\Gamma$-semi\-hypergroups |
| ordered regular |
| ordered semigroup |
| ordered sets |
| ordered ternary semiring |
| orderings |
| orderings of higher level |
| order-morphism |
| ordinal sum |
| orthogonal $\sigma$-completeness |
| orthogonal completeness |
| orthoimplication algebra |
| ortholattice |
| orthomodular lattice |
| orthoring |
| orthosemilattice |
| outerization of a variety |
| outerplanar graph |
| outerplanar index |
| P |
| $P_2$-algebras |
| $P_2$-Almost Distributive Lattices ($P_2$-ADL) |
| p-ADL |
| Padovan number |
| pair of Lie algebras |
| p-algebra |
| p-algebras |
| partial algebra |
| partial many-sorted algebra |
| partial operation |
| partial order |
| partial order relation |
| partial semigroup |
| partial sums |
| partial theory |
| partial transformation semigroup |
| partition lattice |
| partition lattices |
| P-compa-tibility |
| p-constrained group |
| Pell and Lucas-Pell numbers |
| Pell equation |
| Pell sequence |
| Pell's equations |
| perfect graph |
| perimeter |
| period |
| periodic part |
| permutability at 0 |
| permutable varieties |
| permutable variety |
| planar |
| planar graph |
| planar index |
| planar lattice |
| planar semimodular lattice |
| pleasant poset |
| Płonka sum |
| $pm$-lattice |
| p-nilpotent group |
| pn-sequence of an algebra |
| point modules |
| polar |
| polynomial bases |
| polynomial ring |
| polynomials |
| polynomials over integers |
| poset |
| posets |
| positive conditional term |
| positive element |
| positive integer solution |
| positive semidefinite matrix |
| positively ordered $\Gamma$-semigroup |
| Post algebras |
| Post Almost Distributive Lattices (Post ADL) |
| power index |
| power of hyperalgebras |
| power set |
| power-ordered set |
| p.q.-Baer $*$-ring |
| pre-hyperidentity |
| pre-implication algebra |
| prelinear |
| pre-logic |
| preorder lattice |
| pre-period |
| presolid |
| primal algebra |
| primary decomposition |
| primary ideal |
| prime $\Gamma$-rings |
| prime congruence |
| prime element |
| prime filter |
| prime fuzzy ideal |
| prime Gamma-rings |
| prime graph |
| prime ideal |
| prime ideals |
| prime IF-filters |
| prime ring |
| prime rings |
| prime strict ideals |
| prime subsemimodule |
| principal $f$-derivation |
| principal congruence |
| principal ideal |
| principal intuitionistic fuzzy filter |
| principal intuitionistic fuzzy ideal |
| principally ordered |
| projective general linear group |
| projective modules |
| projective space |
| projective special unitary group |
| projective special unitary groups |
| pronormal subgroup |
| proper hypersubstitution |
| proper hypersubstitution of variety |
| protoconcepts algebra |
| Pr\"{u}fer domains |
| Pr\"{u}fer modules |
| p-semigroup |
| p-semiring |
| Pseudo BE-algebra |
| pseudo filter |
| pseudo MV-algebra |
| pseudo prime ideal |
| pseudo upper set |
| pseudo-BCI algebra |
| pseudo-BCI-algebra |
| pseudo-BL-algebra |
| pseudo-BL-chain |
| pseudo-complementation |
| pseudo-complemented ADL |
| pseudocomplemented lattice |
| pseudocomplemented semilattice |
| pseudoeffect algebra |
| pseudomedian algebras |
| pseudonatural transformation |
| pseudosymmetric |
| pseudovariety |
| pullback |
| pure composite series |
| pure submodule |
| Q |
| $Q$-edge corona |
| $Q$-edge neighborhood corona |
| $Q$-ideal |
| $Q$-vertex corona |
| $Q$-vertex neighborhood corona |
| q-analogues of arithmetical functions |
| QI-algebra |
| q-semilattices |
| quadratic approximation |
| quantum logic |
| quantum logic. |
| quantum logics |
| quasi 3-primary ideals |
| quasi ideal |
| quasi interior ideal elements |
| quasi k-ideal |
| quasi module |
| quasi pseudo-complementation |
| quasi-complemented $BE$-algebra |
| quasi-equational logics |
| quasigroup |
| quasigroups |
| quasi-ideals |
| quasi-implication algebra |
| quasi-modular p-algebras |
| quasi-octonions |
| quasiorder |
| quasiorder lattice |
| quasi-order of an algebra |
| quasi-ordered semigroup |
| quasi-p-ADL |
| quasi-primary ideal |
| quasi-prime submodules |
| quaternion |
| quaternion algebra |
| quaternions |
| quotient |
| quotient hyper pseudo BCK-algebra |
| quotient Menger algebra |
| quotient ring |
| quotient topological space |
| R |
| $R$-edge join |
| r)$-full hypersubstitution |
| r)$-full term |
| $r$-ideal |
| $R$-vertex join |
| radical |
| radius |
| Ramanujan sums on a poset |
| rank |
| reciprocal |
| recognition |
| rectangular lattice |
| recurrence relations |
| reduced primary decomposition and normal primary decomposition |
| reduced ring |
| Reduced ring |
| reducible |
| reduction |
| reducts of algebras |
| Rees matrix semiring |
| refined submodule |
| regular |
| regular $\Gamma $-AG$^{\ast\ast}$-groupoids |
| regular $\Gamma$-ring |
| regular $\Gamma$-semiring |
| regular algebras |
| regular and completely regular ordered semihypergroup |
| regular bilinear from |
| regular element |
| regular elements |
| regular equation |
| regular filter |
| regular graph |
| regular hyperidentity |
| regular hyperring |
| regular hypersubstitution |
| regular incline |
| regular ordered $\Gamma$-semiring |
| regular semigroup |
| regular ternary semiring |
| regular weak equational theory |
| regular-solid variety |
| relational clone |
| relational constraints |
| relative Cohen-Macaulayness |
| relative complements |
| relative pseudocomplement |
| relatively complemented ADL |
| relatively complemented ordered set |
| relatively complete sublattice |
| representable DRl-monoid |
| representation |
| representation of a lattice |
| representation of algebras in certain quasivarieties as sums of algebras |
| residuated ADL |
| residuated lattice |
| residuation |
| restricted range transformation |
| resultant |
| reverse derivations |
| Reverse derivations |
| r-generalized reverse derivations |
| Rickart $*$-ring |
| Riesz decomposition property |
| right derivation |
| right distributive |
| right inverse |
| right (left) composition |
| right pp-semigroups |
| right quasi-regular |
| right zero bands |
| right zeroid |
| ring congruence |
| ring graph |
| ring-like structure |
| rings |
| RM algebra |
| S |
| $S$−$k$prime ideal |
| $S$−$k$−semiprime ideal |
| $S$−prime semiring |
| $S$−semiprime semiring |
| saddle point matrix |
| SBE-algebra |
| SBE-homomorphism |
| Schmidt group |
| Schur multiplier |
| second |
| second element |
| second order recurrence relations |
| section antitone bijection |
| sectionally antitone involution |
| sectionally complemented lattice |
| sedenions |
| selektor |
| self-dual codes |
| semantics |
| semi-bolean algebra |
| semidirect sum |
| semifield |
| semigroup |
| semigroups |
| semi-Heyting almost distributive lattice |
| semi-ideals |
| semilattice |
| semilattice embedding |
| semilattices |
| semimediality |
| semimodular |
| semimodular lattice |
| semimodule |
| semiprime $\Gamma$-rings |
| semiprime hyperring |
| semiprime inverse semiring |
| semiprime MA-semiring |
| semiprime rings |
| semiprime uni-soft quasi-hyperideal |
| semiring |
| Semiring |
| semiring, semimodule |
| semirings |
| sequential function |
| set-representations of a poset |
| sets of elements of the same order in groups |
| set-theoretical solution |
| Sheffer stroke |
| Sheffer stroke operation |
| Shifting Lemma |
| Shifting Principle |
| S-homogeneous module |
| similarity type |
| simple $\Gamma$-ring |
| simplices |
| simplicial object |
| singular-value decomposition |
| skeleton |
| skeleton torelance |
| skew $PBW$ extensions |
| skew Lie product |
| skew ring |
| skew symmetric matix |
| skew-ring |
| slim |
| slim lattice |
| slim planar semimodular lattice |
| slim semimodular lattice |
| Słupecki Criterion |
| soft filters |
| soft ideals |
| soft quasigroups |
| soft sets |
| soft subquasigroups |
| solid varieties |
| solid variety |
| solvability |
| solvable algebra |
| solvable B-algebras |
| SP-domain |
| special class |
| Specker lattice-ordered group |
| spectral sequences |
| spectral space |
| spectral topology |
| spectrum |
| split graph |
| square roots |
| square subgroup |
| star ordering |
| state operator |
| state-supported probability |
| statistics |
| Steiner quasigroup |
| Stirling numbers |
| stone ADL |
| Stone algebra |
| Stone lattice |
| straightening ideal |
| strict completion |
| strong $BE$-algebra |
| strong $M$-$vn$-regular element |
| strong lattice |
| strong perfect graph theorem |
| strong quasi k-ideal |
| strong quasi k-simple |
| strong regular filter |
| strong set |
| strong spined products |
| strongly coherent filter |
| strongly disjunctive ideal |
| strongly E-inversive semiring |
| strongly irreducible ideal |
| strongly noetherian algebras |
| strongly prime subsemimodule |
| strongly radical-supplemented modules |
| strongly rectifiable module |
| strongly regular module |
| structure space |
| subalgebra |
| subalgebras |
| subdirectly irreducible algebra |
| subdirectly irreducibles |
| subgroupoid lattice |
| subidentity |
| sublattice |
| submaximal clones |
| submaximal, clones |
| submodule lattice |
| subsemimodule |
| subtractive ideal |
| subtractive term |
| subuniverse |
| sum of powers |
| sums of ordered sets |
| SUP-algebra |
| super strongly clean ring |
| super t-system |
| Superassociativity |
| superior mapping |
| superior subalgebra |
| superposition |
| superposition of sets of terms |
| superposition of terms |
| SUP-homomorphism |
| supplemented modules |
| Sylow p-group |
| symmetric difference |
| symmetric functions |
| symmetric monoidal category |
| symmetry group of a polynomial |
| syntactic algebras |
| T |
| $T$-fuctor |
| $t$-fuzzy modules |
| term |
| term-rank |
| terms |
| ternary division semiring |
| ternary ring |
| ternary semifield |
| ternary semigroup |
| ternary semigroups with involution |
| ternary semi-integral domain |
| ternary semiring |
| the largest elements order |
| the second largest elements order |
| third and fourth UP-isomorphism theorems |
| third-order Jacobsthal numbers |
| Thompson-ordering |
| T-hyperidentity |
| T-identity |
| time-varying automaton |
| t-k-Archimedean |
| t-k-simple |
| tolerance relation |
| topological groups |
| topological n-groups |
| topological UP-algebra |
| topological UP-homomorphism |
| torsion and torsion-free |
| torsion free rings |
| Total domination number of a graph |
| T-quasi constant algebra |
| trace |
| trace inequalities |
| trajectory |
| tranjugate matrix |
| transformation semigroup |
| transformations with fixed set |
| transitive |
| transitive $BE$-algebra |
| transitive graph algebra |
| tree homomorphisms |
| tree transducer |
| tree transformation |
| triangle algebra |
| triangular scheme |
| Tribonacci number |
| trice |
| triple semilattice |
| tri-quasi simple $\Gamma$-semiring |
| two-sorted algebras |
| type |
| type $2$ and type $3$) |
| type <1> algebras |
| type decomposition |
| type determining set |
| U |
| unar |
| unar (of commutations) |
| unicyclic graphs |
| uniform $t$-fuzzy modules |
| uniform fuzzy modules |
| uniform ideal |
| uniformly right strongly prime $\Gamma$-semiring |
| uniformly strongly |
| uniformly strongly prime |
| uniformly strongly prime k-radical |
| union of rings |
| unique prime factorization |
| uni-soft bi-hyperideal |
| uni-soft quasi-hyperideal |
| unit regularity |
| unitary invertible graphs |
| univeral enveloping (or covering) group |
| universal algebra |
| universal matrix |
| unranked algebras |
| unranked trees |
| UP-algebra |
| upper tringular invertible matrix |
| Utumi quotient ring |
| V |
| vague ideals |
| value of a game |
| varieties |
| varieties and quasi-varieties |
| varieties of algebras |
| varieties of regular algebras |
| varieties of semigroups |
| varieties of tree languages |
| variety |
| variety of semigroups |
| variety of semirings |
| variety permutable at zero |
| vector cross product |
| vector lattice |
| V-equivalent hypersubstitutions. V-proper hypersubstitutions |
| very true operator |
| $vn$-regular module |
| volumes of simplices |
| W |
| weak commutative module |
| weak equation |
| weak interior ideal elements |
| weak order |
| weak projection generalized hypersubstitution |
| weak relative complementation |
| weak variety |
| weak-congruence lattice |
| weak-interior ideal and quasi-interior ideal |
| weakly $2$-absorbing filter |
| weakly 2-absorbing fuzzy ideal |
| weakly associative lattice group |
| weakly commutative |
| weakly ordered $k$-regular hemiring |
| weakly regular variety |
| weakly triangulated graph |
| Witt equivalence |
| Y |
| Yang-Baxter equation |
| Z |
| zero divisors |
| zero-divisor |
| zero-divisor graph |
| zero-divisor graphs |
| zero-term rank |