311数学结构种Mathematical Structures

lilianjie

Abelian groups     Abelian group
1 y: w. _/ @  v  o" ?  i2 ^% {3 nAbelian lattice-ordered groups
: {' }& O' p7 _/ {8 a% N6 ~# eAbelian ordered groups
$ L$ T" H$ s+ F; V2 f& SAbelian p-groups
) z: Z6 x# Z' L) FAbelian partially ordered groups
Action algebras     Action algebra
% l2 U: Q: Q& J+ [7 d! NAction lattices
# v( |& |7 ^; q7 a  ]Algebraic lattices
; t6 Y5 [0 R" {: `Algebraic posets     Algebraic poset
' N$ E& Z) _) i  |- c% I# o  l% S, NAlgebraic semilattices
3 o& i- Y  I! W; j) wAllegories     Allegory (category theory)
Almost distributive lattices
Associative algebras     Associative algebra
5 p* ^8 m1 n) Y8 l5 V( V( yBanach spaces     Banach space
9 K$ N+ }- x% F! {0 s* R( }' o8 h" bBands     Band (mathematics), Finite bands
Basic logic algebras
BCI-algebras     BCI algebra
3 d. ~' P5 S1 G2 S$ kBCK-algebras     BCK algebra
' a( z1 _5 J. H6 l4 U' H2 X( qBCK-join-semilattices
BCK-lattices
) H, J" b  Z, K' C5 L5 sBCK-meet-semilattices
3 x. T3 t) F! b9 ~# V; HBilinear algebras
BL-algebras
) y9 \) v& X3 IBinars, Finite binars, with identity, with zero, with identity and zero,
Boolean algebras     Boolean algebra (structure)
Boolean algebras with operators
Boolean groups
; |9 O, r5 x8 ?( n( uBoolean lattices
# B' X, c( I% H; vBoolean modules over a relation algebra
Boolean monoids
0 z  a; o' l" l4 J; g4 GBoolean rings
Boolean semigroups
. [/ {: y; o' T+ A  ~3 S. ^Boolean semilattices
Boolean spaces
- V' A5 C* W9 S5 h  nBounded distributive lattices
# t: u3 R4 T' P5 A* ?- LBounded lattices
Bounded residuated lattices
3 e5 U. ]' Y0 S6 _: r* d/ ^" B. TBrouwerian algebras
) o6 U* x" f  M1 V0 yBrouwerian semilattices
5 v8 X% M( n+ H$ p; B- E. S5 AC*-algebras
Cancellative commutative monoids
Cancellative commutative semigroups
$ t8 _. u6 z( g: x6 I. L2 yCancellative monoids
Cancellative semigroups
3 p* R2 E- {% VCancellative residuated lattices
Categories
. D2 O8 P9 u% V- @2 v! D6 X; TChains
0 V9 R. B* F4 l! s# jClifford semigroups
( o4 G* q( p6 t3 H5 E5 C3 X2 i3 gClifford algebras
4 P+ i9 \+ w& ]' b; |: @8 OClosure algebras
Commutative BCK-algebras
Commutative binars, Finite commutative binars, with identity, with zero, with identity and zero
commutative integral ordered monoids, finite commutative integral ordered monoids
5 k6 L; @. z: E, D( I' VCommutative inverse semigroups
Commutative lattice-ordered monoids
' m0 _) K1 U2 Q1 i1 Y3 JCommutative lattice-ordered rings
Commutative lattice-ordered semigroups
3 q; N) M; @0 f5 _' @, ]8 [7 VCommutative monoids, Finite commutative monoids, Finite commutative monoids with zero
Commutative ordered monoids
* ]  a1 E" L+ k0 I& T/ j1 l/ lCommutative ordered rings
% h5 ~: Z# N2 r: a1 `. R, F" x' y! L* qCommutative ordered semigroups, Finite commutative ordered semigroups
Commutative partially ordered monoids
- U* y1 ?' H9 x7 Z% @6 ~Commutative partially ordered semigroups
Commutative regular rings
; A$ ~. h/ q$ v. UCommutative residuated lattice-ordered semigroups
) R$ {( s% K8 K4 e( L2 x2 WCommutative residuated lattices
Commutative residuated partially ordered monoids
" z& j: O. R1 ~  [8 rCommutative residuated partially ordered semigroups
- c0 _$ `0 {2 S1 RCommutative rings
Commutative rings with identity
Commutative semigroups, Finite commutative semigroups, with zero
' t  G7 P# m4 Q$ r6 JCompact topological spaces
Compact zero-dimensional Hausdorff spaces
Complemented lattices
, R  T$ v7 p, g% y8 j5 H7 ^Complemented distributive lattices
Complemented modular lattices
" \$ \! T$ W7 S$ u4 D6 OComplete distributive lattices
# T9 @3 U4 S- n8 \$ E: L: \; ~2 [Complete lattices
2 l2 B' j2 l& Q9 lComplete semilattices
Complete partial orders
; t" b# L6 }* G: H0 ~- ECompletely regular Hausdorff spaces
Completely regular semigroups
5 j! Z8 F0 T5 c" T" \  LContinuous lattices
5 b. ^  F$ X6 `& x) XContinuous posets
Cylindric algebras
: ~& P% {# m/ T- qDe Morgan algebras
9 A8 A1 v. I* A  u0 Q+ G& O$ ^De Morgan monoids
" ^; n5 I4 f- uDedekind categories
  }. |/ S  @$ ~$ }Dedekind domains
4 F+ o# @5 Q5 a5 o' U$ k" {Dense linear orders
4 f5 S" Z- N# G. H* \. a1 {% dDigraph algebras
  |$ T1 ?4 ]+ L6 G+ @Directed complete partial orders
: P! [( z1 z1 Z: ?, Y/ E# D" m  [Directed partial orders
  y$ W4 h4 n, Y! Z2 h  }  GDirected graphs
Directoids
Distributive allegories
Distributive double p-algebras
Distributive dual p-algebras
( i1 J- [: p6 e  b9 m+ UDistributive lattice expansions
- X( M8 i0 n" C8 J, WDistributive lattices
/ @( g( d  X7 K, B; gDistributive lattices with operators
Distributive lattice ordered semigroups
6 z7 E1 U& G. b$ {/ G" n! J' zDistributive p-algebras
Distributive residuated lattices
Division algebras
  S0 r: [" v/ F( G2 MDivision rings
, |" B8 [# N& B" bDouble Stone algebras
Dunn monoids
, W/ q4 D: l, o+ V! g# [Dynamic algebras
Entropic groupoids
( V( b2 v+ N- B/ x9 S. \Equivalence algebras
Equivalence relations
Euclidean domains
f-rings
$ b; C' v% y4 z. n2 C1 [Fields
FL-algebras
FLc-algebras
FLe-algebras
FLew-algebras
FLw-algebras
Frames
Function rings
G-sets
Generalized BL-algebras
Generalized Boolean algebras
% ]" H; J+ H% WGeneralized MV-algebras
. @; B1 j: @5 B- `* t+ Q5 C  s- O7 C  FGoedel algebras
Graphs
Groupoids
Groups
$ }, _( r* \5 o; m9 X: g: Y9 bHausdorff spaces
Heyting algebras
Hilbert algebras
- i: l( z+ X4 E6 P9 _* k: H. zHilbert spaces
Hoops
/ @, i! y: G. O4 O6 cIdempotent semirings
Idempotent semirings with identity
5 o/ k) z8 }) K" bIdempotent semirings with identity and zero
! K4 R# a: G* _6 D8 }Idempotent semirings with zero
Implication algebras
, J# S! e5 q. ~2 L; P  _: _; sImplicative lattices
' H4 g7 b8 @6 ]2 G2 o/ M" _Integral domains
. t# i. D5 A: s3 jIntegral ordered monoids, finite integral ordered monoids
Integral relation algebras
Integral residuated lattices
" A+ ]! |4 Z4 I  [! LIntuitionistic linear logic algebras
0 }, {8 M) M! G# g- L# c: W# H$ XInverse semigroups
Involutive lattices
( n* C. h; A- V0 x) `' i0 pInvolutive residuated lattices
! K( C! s3 p1 ^: tJoin-semidistributive lattices
Join-semilattices
Jordan algebras
Kleene algebras
2 ^5 ]2 F  k3 F$ L! W6 SKleene lattices
Lambek algebras
Lattice-ordered groups
) L" I+ k; {' j/ |0 hLattice-ordered monoids
  q, J4 r/ N+ |* [( [$ dLattice-ordered rings
9 `4 p7 f: H+ zLattice-ordered semigroups
Lattices
, H9 b( J( c3 o- ]+ M1 Q1 OLeft cancellative semigroups
0 L" Z! C4 N' }3 t. D! d# ZLie algebras
Linear Heyting algebras
( i5 |7 O2 v! N3 o! ?  \' jLinear logic algebras
Linear orders
4 ^1 C( U, |# C2 \, W8 O7 e' C) vLocales
+ j* ?. f' e3 ^) |" ILocally compact topological spaces
Loops
6 Z* a9 a% J7 z  p1 u2 i- k# |Lukasiewicz algebras of order n
6 Y7 e& |2 a: O; U0 j2 C& v) A3 SM-sets
Medial groupoids
Medial quasigroups
5 W3 Y: i$ t5 X2 E4 F. _# KMeet-semidistributive lattices
Meet-semilattices
Metric spaces
& }) U) l5 _' E- _" SModal algebras
) z7 |4 J+ L! V8 W3 E# }+ CModular lattices
Modular ortholattices
/ x' [8 W' {$ l' V6 EModules over a ring
4 i' k& F  Q, H) f2 r. x1 @Monadic algebras
Monoidal t-norm logic algebras
2 o6 ?  Q: ?8 T' C4 kMonoids, Finite monoids, with zero
' g5 N4 Q, o" J& ]1 SMoufang loops
Moufang quasigroups
7 _5 g7 W3 F9 k2 Z* Q; }: AMultiplicative additive linear logic algebras
# `$ E! y# B7 y* zMultiplicative lattices
% w' L1 G" Y% B; K& a* V, PMultiplicative semilattices
Multisets
, R! U0 Y( a  Q  r4 ]( ?MV-algebras
) G" o1 b( r2 T7 |5 K5 G: qNeardistributive lattices
, _! ^4 x' t1 l2 X7 cNear-rings
Near-rings with identity
Near-fields
Nilpotent groups
# U# T+ w5 m9 \+ @0 |$ ~9 ]Nonassociative relation algebras
Nonassociative algebras
( w) ~, Z: |* t+ e+ FNormal bands
Normal valued lattice-ordered groups
7 X# i& j$ g* mNormed vector spaces
+ r& {( Z7 A* ZOckham algebras
; Q. A) i4 `0 v0 ZOrder algebras
Ordered abelian groups
Ordered fields
Ordered groups
5 P5 Y' U* {9 e6 B* |0 m8 XOrdered monoids
6 \  c/ P) ~6 b3 |5 QOrdered monoids with zero
Ordered rings
) B2 Z8 b$ w2 M$ t& O9 _Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero
/ ]2 i5 Q7 e4 z/ D7 C* MOrdered semilattices, Finite ordered semilattices
" J+ c& o3 F" }Ordered sets
5 b& A+ D" D9 W! k+ wOre domains
) c* o6 [+ Z* ?  r. d1 e' Z! EOrtholattices
Orthomodular lattices
1 Z7 V. ]/ L0 \- J9 f7 Cp-groups
2 U$ Y. G9 y# m/ C  }; X* j& A$ vPartial groupoids
5 j7 Y1 U. a' W3 ~Partial semigroups
Partially ordered groups
( V2 _" I* z; Q; [' zPartially ordered monoids
Partially ordered semigroups
Partially ordered sets
Peirce algebras
/ ]" w) w2 c% e7 f4 I( y0 @# `Pocrims
6 e$ d& D5 @0 v; C1 RPointed residuated lattices
Polrims
% X3 p+ Y1 P9 C3 |Polyadic algebras
Posets
) m8 ]) {! |2 e& M2 ^0 W! pPost algebras
- A: W8 W4 J5 f* W9 A  D" L3 `) OPreordered sets
. ?% h# ^5 h- D! u/ U6 WPriestley spaces
Principal Ideal Domains
Process algebras
9 S$ k) \7 R9 l; i% jPseudo basic logic algebras
* M) p$ B( x' KPseudo MTL-algebras
( I9 c1 R+ Z- j7 UPseudo MV-algebras
9 W3 w+ A9 ?, q$ r1 y8 z8 VPseudocomplemented distributive lattices
Pure discriminator algebras
4 {. L- c: z' [/ A' P( _Quantales
Quasigroups
: g5 J) c' X( R3 IQuasi-implication algebras
1 E2 n, M: t! B% |0 M: HQuasi-MV-algebra
, ^. y2 R1 [1 q/ c9 _Quasi-ordered sets
0 \6 e, [- A, V2 B$ qQuasitrivial groupoids
Rectangular bands
9 y, Y% P9 l8 `: k3 x% ~8 e* dReflexive relations
% Z. q; E$ l2 T5 b5 L: N" o+ J# BRegular rings
; W; M/ B& ?* h/ B* ?Regular semigroups
4 Y" n2 T: {9 W' b) T; SRelation algebras
7 i; N0 p% g1 {- n6 T4 jRelative Stone algebras
Relativized relation algebras
Representable cylindric algebras
Representable lattice-ordered groups
Representable relation algebras
. h' ]( s" X; Y+ U% ?4 RRepresentable residuated lattices
Residuated idempotent semirings
Residuated lattice-ordered semigroups
% z+ v3 U6 Y7 ]# _- HResiduated lattices
Residuated partially ordered monoids
: t, V9 y, H$ j3 f' |Residuated partially ordered semigroups
Rings
7 q. j+ ~) w4 k$ `' m% }! xRings with identity
+ e8 e! D- p, i/ w1 I  R; `2 VSchroeder categories
- W* H5 w  ~& n) eSemiassociative relation algebras
Semidistributive lattices
Semigroups, Finite semigroups
Semigroups with identity
, A1 S+ p' j& c  j5 g9 x3 g! Q" Y4 |5 MSemigroups with zero, Finite semigroups with zero
* V; X+ }. `* D7 M  J- [Semilattices, Finite semilattices
Semilattices with identity, Finite semilattices with identity
9 J8 U0 {/ }3 K- l2 RSemilattices with zero
4 e3 V; n! `! Z' I; s3 {Semirings
Semirings with identity
! f& U. g/ Y' t0 ZSemirings with identity and zero
Semirings with zero
7 m" ]" c  U, h/ s; rSequential algebras
8 X6 @* y+ h7 jSets
1 D/ v  o- {: ]$ `( VShells
! ^" \. w& {3 X9 ZSkew-fields
Skew_lattices
) K1 F7 Q: L5 u. Q1 ~' A9 h) q: }Small categories
  j" N* u/ R. TSober T0-spaces
. ?1 C5 N: }/ o; e2 A; d2 jSolvable groups
# _2 Y5 P3 Z) ?5 l; P+ ?3 tSqrt-quasi-MV-algebras
Stably compact spaces
Steiner quasigroups
Stone algebras
+ w  r, E; F2 ?# G: GSymmetric relations
T0-spaces
T1-spaces
T2-spaces
Tarski algebras
Tense algebras
Temporal algebras
Topological groups
% U9 `/ S% |: n5 \  z' X) |' CTopological spaces
Topological vector spaces
  _9 d$ e- X6 M# P2 v( q. wTorsion groups
& S6 f5 u" ~+ `2 XTotally ordered abelian groups
Totally ordered groups
Totally ordered monoids
8 d; m& E  n4 C: ]Transitive relations
$ [2 g2 g$ p9 ]7 lTrees
Tournaments
- N$ g  x; g) ^/ k, e& P, L- fUnary algebras
* H5 ~& m: _  ]+ r' x& NUnique factorization domains
Unital rings
- [4 @% J+ A" S7 E9 `5 D. OVector spaces
6 Y/ I( c8 x/ x3 Z- KWajsberg algebras
Wajsberg hoops
Weakly associative lattices
Weakly associative relation algebras
) w5 H1 V7 ~4 R- LWeakly representable relation algebras
& o+ y- w) ^  S5 T

ZONDA

谢谢楼主啦

qazwer168

佩服你，能发这么好的帖子，厉害

孤寂冷逍遥

lilianjie

阿贝尔群Abel群
1 j. w4 r% H) u! T% X8 _$ M阿贝尔格序群
阿贝尔下令组
' g5 x# y# W( }阿贝尔p -群
) E5 E* T/ B; Z$ q. l& |. |阿贝尔部分下令组
行动代数行动代数
行动晶格
代数晶格
; Z- t# L2 k, ^6 a9 n) n4 L代数偏序代数偏序集
代数半格
  K/ y2 w  D# p7 D  n* v寓言的寓言（范畴论）
几乎分配格
3 T, |' {- C4 }0 j关联代数关联代数
9 j( @8 `+ g7 f1 WBanach空间的Banach空间
& n. z7 H" R* W! P% E4 S乐队乐队（数学），有限频带
' q& Z$ {& e8 |  j2 w) K+ p% `基本逻辑代数
BCI -代数的BCI代数
BCK -代数BCK代数
BCK联接，半格
9 s3 r- D; i" l+ }BCK晶格
, ^/ W8 l/ c9 w" T3 E1 `9 EBCK -满足的半格
双线性代数
8 h& ^, Y# r' K' w1 P0 |3 ^  xBL -代数
Binars，有限的binars，与身份，身份和零与零，
布尔代数布尔代数（结构）
与运营商布尔代数
布尔组
布尔晶格
对关系代数的布尔模块
% p0 _6 {# `( w2 q0 ^布尔半群
! N4 }5 f1 m# }, _) ^" h/ x布尔环
% e4 O# @# \& I  `4 \布尔半群
布尔半格
布尔空间
有界分配格
7 V$ a* l; ?' h+ `: v界晶格
界剩余格
# y2 P$ z8 l3 h. O7 @  c8 \; u: aBrouwerian代数
0 [' r& x% u4 \- }3 `" O) zBrouwerian半格
! t7 ]% U7 y+ j% W4 U3 K5 KC *-代数
0 D5 F+ n5 V+ r- v2 H消可交换半群
消可交换半群
可消半群
& T: _7 }* s$ l. r% y' O# }, M可消半群
消residuated格
分类
链
克利福德半群
Clifford代数
& r* {4 F+ t! A" C- f, o0 @封闭代数
可交换BCK -代数
交换binars，有限的可交换binars，与身份，零，身份和零
( F; O! m7 V5 z7 M+ e& \. K可交换的组成下令半群，有限可交换积分下令半群
/ _/ z: O8 m) }' |交换逆半群
交换点阵有序的半群
交换格序环
8 x/ r1 f$ _% @- v9 k/ ?交换格序半群
! }5 J5 u6 k2 x, y0 r7 B; ~5 Q$ Q& A交换半群，有限可交换半群，零的有限可交换半群
交换下令半群
4 W' K/ {' P. c# r+ Y7 a3 H交换下令戒指
  L( h0 m0 U; t" A; {2 D' L, c有限交换交换序半群，序半群
3 g4 H/ g+ w& I4 V8 x: A可交换部分有序的半群
可交换部分序半群
3 g8 \2 @. t! X+ n  H  l交换正则环
交换剩余格序半群
交换residuated格
可交换residuated偏序半群
可交换residuated偏序半群
交换环
与身份的交换环
交换半群，有限可交换半群，零
紧凑型拓扑空间
紧凑的零维的Hausdorff空间
补充晶格
" g: h1 l& H  v0 x# X4 Z  G有补分配格
补充模块化晶格
完整的分配格
- U4 i, S  j5 z* K5 X完备格
5 R& x5 s3 V! O完整的半格
7 _+ J9 c2 q5 L3 F. W5 N完成部分订单
& w) L, M7 j* B* j& P0 @, y: _* {完全正则豪斯多夫空间
完全正则半群
7 K3 p6 y2 A0 w0 _连续格
' A6 b; ]% R) D' N0 C- b# `! V( z. w连续偏序集
柱形代数
* W7 m2 q9 o- @7 s: }德摩根代数
' q; j3 j  t3 @' S4 e德摩半群
9 V3 U4 Z8 F4 H# J. z- t8 g戴德金类别
戴德金域
稠密线性订单
有向图代数
' s3 f  w. C" f  ~5 [5 \导演完成的部分订单
导演部分订单
有向图
Directoids
' V& `  {- F% |: L分配寓言
6 @" ]$ A6 x# w  m) j7 k分配的双p -代数
2 g( ~# m" i: s6 C7 U分配的双P -代数
& P, q' i) E6 [  n4 d分配格扩展
$ e" Y2 v8 z1 ]0 L9 }, C' ]分配格
9 B- v9 M# E# Q: j3 x3 Z6 o% R与运营商分配格
分配格序半群
分配p -代数
分配residuated格
司代数
$ `/ Y( Z+ ^0 y科环
, `6 ~; v, V" J8 W6 Z( _双Stone代数
; Y8 h% t( }3 C邓恩半群
4 k$ v( d; o/ _- a; M: e动态代数
$ n# {8 W5 m* D7 m; ?, A+ b" \熵groupoids
等价代数
等价关系
& a. y' o6 N) |: L' t  h) Z( B欧几里德域
F -环
# \" t' v" \' X% t& E字段
FL -代数
FLC -代数
. q3 _% N0 ~/ R7 S8 c, TFLE -代数
. x3 C8 }2 C) d飞到-代数
FLW -代数
框架
9 e$ q% P; a+ O1 r功能戒指
G - 组
广义BL -代数
广义布尔代数
) p5 d9 w1 o( e0 {* P6 v% a5 b广义的MV -代数
Goedel代数
. X; G2 ]; G( o3 Y+ \1 U9 o图
2 k" B0 m- _4 VGroupoids
组
豪斯多夫空间
Heyting代数
希尔伯特代数
Hilbert空间
: e1 k6 x; F: e# c篮球
幂等半环
6 B6 T; {5 N* H# U5 X' {/ F0 f9 c幂等半环与身份
幂等半环的身份和零
. ]# ^! X/ ~- H$ I幂等半环与零
, d4 A  w; u; i& h. n蕴涵代数
含蓄的格子
积分域
- g( P/ _9 J( s. H积分下令半群，有限积分下令半群
积分关系代数
$ R/ V. |& H$ b" ^4 r集成剩余格
直觉线性逻辑代数
3 r& M# U0 ?$ G0 W0 h  J逆半群
* v% l* \1 b( L2 b合的格子
合的residuated格
( G; V$ @7 @" R* U8 Z加盟semidistributive格
. Y1 i; w, \  E1 w! [5 S加盟半格
约旦代数
克莱尼代数
克莱尼晶格
8 E" d7 g$ s! S& g; ^* S$ M3 _9 XLambek代数
格序群
: a3 B! R0 G9 i( l  q& f' a7 H3 ]格子下令半群
格序环
! Z- n3 f( r& e/ B3 v( G格序半群
0 z* v$ M% m4 c) x2 U# D8 r栅
左可消半群
# v& J2 N7 P! E$ V+ t; b李代数
- R2 ~$ o$ i+ G7 z7 V0 U* c线性Heyting代数
( h! S& |: E+ S$ w' r线性逻辑代数
% ]* ~( n* _# }2 q  @5 Q线性订单
语言环境
5 P# E$ j& I: w: q# r局部紧拓扑空间
循环
n阶Lukasiewicz代数
M -组
3 Y( _2 W2 S  n' r内侧groupoids
内侧quasigroups
" F/ |. q. s. ?, ^) \0 D会见semidistributive格
5 [! ?1 n$ A4 z3 g, }会见半格
, H, @  m% W+ L9 D度量空间
模态代数
- Z9 \5 U. |0 X! [, y" j: ]0 C模块化晶格
模块化ortholattices
: l) x$ p6 q; ?环比一个模块
$ t5 V" s+ K( F单子代数
5 \: A; w, w; G" Q( VMonoidal t -模的逻辑代数
. F7 }6 p3 u- C% E/ l/ I+ Q) T5 c幺半群，有限半群，零
Moufang循环
Moufang quasigroups
5 y6 ?( d. S0 q$ i* _, y乘添加剂的线性逻辑代数
3 A& ^3 x. H! o6 N乘晶格
乘法半格
多重集
0 F& X& \/ d7 q, N% yMV -代数
2 y% i* B* n) {7 RNeardistributive晶格
* i2 M8 m" X4 j$ ^* ~) ^! g近环
近环与身份
1 z$ M; ~* M; y近田
) L: J* P+ p% i幂零群
非结合的关系代数
非结合代数
" N! l6 _! d9 P$ {3 Z; F  d普通频段
' V1 ?* I$ z$ e7 F正常价值格序群
赋范向量空间
奥康代数
订购代数
' v* ]8 [/ j7 T" O7 T0 q有序阿贝尔群
& h1 X3 ?) G7 P; C9 N有序领域
; \2 G4 q% W+ m  j1 Z序群
有序半群
与零有序的半群
有序环
2 o8 b2 w1 s' a+ x* M) s! Y序半群，有限序半群，有限下令零半群
有序半格，有限下令半格
有序集
* s2 A4 N; Y' g# k. K$ w/ O8 w& l矿石域
( {  Y/ ~9 j2 O2 |1 @3 z7 wOrtholattices
0 H5 l7 t' f2 I% ~& r正交模格
p -群
部分groupoids
部分半群
部分有序的群体
部分下令半群
部分序半群
部分有序集
' A% Z* V/ `% |$ Q* o- p/ m* i8 L皮尔斯代数
9 d# v# ~! P5 \+ a, z! G! C, KPocrims
指出residuated格
Polrims
Polyadic代数
偏序集
0 j2 z- {0 r' I7 u" H邮政代数
+ v! g  ]& j3 K" k% X: l. |" fPreordered套
普里斯特利空间
) g! k! t5 v! w0 `5 x主理想域
1 I8 g4 E9 o+ f7 Y进程代数
8 P! \& A  {2 Q! t7 Z) ^伪基本逻辑代数
3 j; Y# A/ |- ^4 S, t! F: a1 _伪MTL -代数
伪MV -代数
Pseudocomplemented分配格
纯鉴别代数
/ t7 c( j" }/ X9 S4 v0 XQuantales
. G1 S0 z: K; Z2 U" d) `Quasigroups
准蕴涵代数
1 m* s3 O+ O' z( Z- s准MV -代数
准有序集
Quasitrivial groupoids
矩形条带
自反关系
正则环
正则半群
$ d2 T) X. |( l( b关系代数
4 Z. k# F: v; W- ?/ I$ U相对Stone代数
相对化的关系代数
表示的圆柱代数
0 U" }: _, p( x: K" B; ^2 r表示的格序群体
; r: ?7 P$ n# ]表示的关系代数
0 `0 q1 \/ P/ K, q$ r表示的residuated格
Residuated幂等半环
& d  V! ]% v( x+ E+ _剩余格序半群
' Y, p' {2 g2 Y8 @# k4 H$ M7 _: a剩余格
7 d) b' n7 G; W+ pResiduated部分有序的半群
Residuated部分序半群
戒指
0 t/ h4 w" Z2 l& L戒指与身份
施罗德类别
Semiassociative关系代数
) o7 r+ S5 n/ j% d0 HSemidistributive晶格
半群，有限半群
' \$ ]' @4 x! X/ a: V半群与身份
半群与零，有限半群与零
& o4 N6 ?/ @. o% I$ A( T6 F0 V半格，有限半格
与身份，与身份的有限半格半格
半格与零
半环
半环与身份
4 @! W5 `9 W/ J0 d7 X半环与身份和零
5 L$ ?% G: G; {, H" S2 r4 L7 _; V半环与零
; F  \" B. ~: D8 d9 n4 R连续代数
8 i$ x; K* S$ z6 L" V集
壳
歪斜领域
' C* ?* J3 [1 k: zSkew_lattices
$ G' S; M9 _5 A/ x' T小类
清醒T0 -空间
可解群
SQRT准MV -代数
稳定紧凑的空间
: B% ^! w+ _! B7 X" I0 ]) P0 F0 h1 l施泰纳quasigroups
9 j, _6 d, V7 n6 x+ jStone代数
对称关系
T0 -空间
$ {9 \( S/ j5 y! z1 \T1 -空间
T2 -空间
塔斯基代数
紧张代数
. n0 r) O9 c1 {* h! x时空代数
拓扑群
拓扑空间
7 C! x+ ]" v$ `9 P+ X0 ?) B6 G9 ]拓扑向量空间
, Y/ m' i( N: }扭转组
全序的阿贝尔群
' r& W/ h0 q. t全序的群体
完全下令半群
Transitive的关系
/ A* O1 a( L6 l% n2 i: y- t6 x树
+ l9 F; W5 K4 H( S0 }锦标赛
% l) \( [& G7 S, D+ W. f一元代数
唯一分解域
Unital环
) [8 i2 Z4 B# u向量空间
Wajsberg代数
Wajsberg箍
弱关联格
弱关联关系代数
弱表示关系代数