311数学结构种Mathematical Structures

lilianjie

6 h. J9 p# W0 ?1 z0 r+ F% V0 e- X% P
* v/ Z" O4 f5 K8 j0 }0 c2 {Abelian groups     Abelian group
2 H8 R2 n, s3 Z# T3 z# ^% Y" MAbelian lattice-ordered groups
" v' O; B$ b5 o3 v! v3 K# k1 [Abelian ordered groups
9 k8 m4 i/ Y' E% `$ z. Z. P2 \; ]Abelian p-groups
6 z" N% j) x! Z, o% T, FAbelian partially ordered groups
Action algebras     Action algebra
Action lattices
Algebraic lattices
Algebraic posets     Algebraic poset
Algebraic semilattices
Allegories     Allegory (category theory)
" v; e, T: d0 ~. tAlmost distributive lattices
) t) H# D/ ?% s0 G- L/ ^" K' DAssociative algebras     Associative algebra
7 V5 q- ~6 X" w9 K6 ^+ U; HBanach spaces     Banach space
8 j, c% ~7 o+ B% ]% XBands     Band (mathematics), Finite bands
Basic logic algebras
3 k7 T9 M6 Z) Y: v5 P; qBCI-algebras     BCI algebra
1 X& Y) |! T- @; ]9 k  gBCK-algebras     BCK algebra
9 ^  j/ @( W) ^3 b7 n" lBCK-join-semilattices
BCK-lattices
9 X4 q9 j0 d: lBCK-meet-semilattices
5 a1 S8 N* K3 t( dBilinear algebras
% P1 y: O- B+ ~. E5 QBL-algebras
0 p1 H# ~+ N4 S( uBinars, Finite binars, with identity, with zero, with identity and zero,
Boolean algebras     Boolean algebra (structure)
  j# x7 O3 y$ f+ B8 l: QBoolean algebras with operators
7 d% k+ G% a& V, j9 \8 Z7 gBoolean groups
+ B; T. s9 q" l3 wBoolean lattices
Boolean modules over a relation algebra
Boolean monoids
  g) J$ c( Z2 i6 X% _Boolean rings
Boolean semigroups
Boolean semilattices
Boolean spaces
Bounded distributive lattices
Bounded lattices
- Z2 s( X. ]# h; R" vBounded residuated lattices
3 ]  H5 [' p3 t9 x! ]Brouwerian algebras
Brouwerian semilattices
C*-algebras
Cancellative commutative monoids
3 j4 g, O2 A! k3 }- A4 }Cancellative commutative semigroups
Cancellative monoids
Cancellative semigroups
: Y$ h0 @7 X9 b* yCancellative residuated lattices
9 ^( f* |  I) Z8 [" P% l2 G4 HCategories
Chains
9 F' G- ^8 D. U+ j+ \+ X6 PClifford semigroups
( e: g6 V4 D/ k) [1 v% S& LClifford algebras
9 Y1 w8 g' E5 u8 n0 MClosure algebras
Commutative BCK-algebras
: c7 B( A$ ]5 Y# u* k' A6 H# f" nCommutative binars, Finite commutative binars, with identity, with zero, with identity and zero
7 U$ F$ p+ I. F7 ?8 u4 Qcommutative integral ordered monoids, finite commutative integral ordered monoids
& e  e- V& |. V$ c2 QCommutative inverse semigroups
Commutative lattice-ordered monoids
, V8 \' n. J# o5 D0 B2 wCommutative lattice-ordered rings
+ K5 X0 Q$ f! V+ R3 A0 jCommutative lattice-ordered semigroups
9 @( y; c; h: m' D1 q0 oCommutative monoids, Finite commutative monoids, Finite commutative monoids with zero
+ O7 ~" u3 i5 c' H4 uCommutative ordered monoids
% {7 l8 t- D; a2 W8 m( F, \% ]* y% pCommutative ordered rings
Commutative ordered semigroups, Finite commutative ordered semigroups
4 m. {( H# g% E- X2 _  D/ lCommutative partially ordered monoids
Commutative partially ordered semigroups
Commutative regular rings
Commutative residuated lattice-ordered semigroups
3 F0 z# a/ D5 h& M# v8 m0 mCommutative residuated lattices
Commutative residuated partially ordered monoids
Commutative residuated partially ordered semigroups
Commutative rings
Commutative rings with identity
Commutative semigroups, Finite commutative semigroups, with zero
- ^' b1 b4 T2 `0 HCompact topological spaces
/ L7 V. ^: A" e6 OCompact zero-dimensional Hausdorff spaces
Complemented lattices
9 t* w8 F& d4 n0 l3 y' WComplemented distributive lattices
1 }5 f8 G6 a8 v& _% {Complemented modular lattices
Complete distributive lattices
Complete lattices
Complete semilattices
& p; f7 _9 l+ g/ c" [8 ~Complete partial orders
( C% J/ \  R0 \: N2 X8 H8 [Completely regular Hausdorff spaces
8 ~. w2 V' w7 x2 S. tCompletely regular semigroups
7 y& t8 p+ {4 wContinuous lattices
Continuous posets
% y' P: M) s/ k+ t+ SCylindric algebras
De Morgan algebras
De Morgan monoids
Dedekind categories
Dedekind domains
& r, p, j+ o3 B+ QDense linear orders
5 R3 z2 Z# e% s( R8 Q, D5 E9 mDigraph algebras
! G+ |9 C$ d; L) X; bDirected complete partial orders
Directed partial orders
Directed graphs
Directoids
! c" z+ ]1 V/ o% C  oDistributive allegories
Distributive double p-algebras
Distributive dual p-algebras
Distributive lattice expansions
9 u; S0 Z1 j9 [7 K- GDistributive lattices
% e+ T6 a3 J9 dDistributive lattices with operators
: v# S0 D6 t5 T' d: d! D% hDistributive lattice ordered semigroups
, `% {+ V$ i8 U$ J9 e: FDistributive p-algebras
; T. Z: e/ @* Q7 X+ p" rDistributive residuated lattices
Division algebras
Division rings
Double Stone algebras
Dunn monoids
Dynamic algebras
8 q, d' l0 t- h/ q: [$ \" o) CEntropic groupoids
, }8 J7 f7 b, z2 l9 e' u  }Equivalence algebras
Equivalence relations
Euclidean domains
f-rings
" y  ^$ x( l: Y* @1 hFields
FL-algebras
5 E; s5 X7 `. {# y0 iFLc-algebras
7 F4 C# x, G6 v5 ^8 n) GFLe-algebras
FLew-algebras
& z$ M/ T2 ]& l7 q1 dFLw-algebras
  m* Q. I- z" l; `3 C; @Frames
' p+ ?4 g2 J, O' L3 s" hFunction rings
G-sets
Generalized BL-algebras
1 d5 n, ^& t* ^7 z- uGeneralized Boolean algebras
Generalized MV-algebras
0 z2 f  O. f7 j7 T2 oGoedel algebras
8 f. c4 ~2 b! [$ F% w8 rGraphs
# M9 ~: I. |, M3 M7 V6 fGroupoids
Groups
7 D, C; N5 R: {% IHausdorff spaces
Heyting algebras
Hilbert algebras
Hilbert spaces
7 O0 @/ k: ^+ S% }9 nHoops
) k; x) `+ G% ^- _Idempotent semirings
) V, ?# Y( h7 I. D2 o7 JIdempotent semirings with identity
Idempotent semirings with identity and zero
Idempotent semirings with zero
Implication algebras
/ Z9 T' J. j0 a' c9 D  t* w" r3 iImplicative lattices
Integral domains
- f0 e* N8 K* q3 ^- ?Integral ordered monoids, finite integral ordered monoids
9 E' Q0 Y: A+ {  HIntegral relation algebras
Integral residuated lattices
* e% G) w) x& n% `* Q: c  nIntuitionistic linear logic algebras
2 w5 b( H  I# ~* K1 V+ s6 I3 r1 UInverse semigroups
3 s$ _6 Z9 h5 ~; j% o1 e- mInvolutive lattices
Involutive residuated lattices
% E& W0 U& N' S" Z: SJoin-semidistributive lattices
Join-semilattices
* |. ~$ B3 W8 C; e/ S) I. C. PJordan algebras
Kleene algebras
4 f3 J  f( N1 o) J8 S3 @Kleene lattices
0 J% \/ H4 c  c; Y" N) RLambek algebras
! r$ n8 L+ ], _# q9 pLattice-ordered groups
6 n' C; J* r+ p# x  U8 uLattice-ordered monoids
Lattice-ordered rings
Lattice-ordered semigroups
Lattices
Left cancellative semigroups
Lie algebras
5 [1 O, K9 T, j6 n0 v# ~Linear Heyting algebras
% C8 _9 ?  ~9 R- sLinear logic algebras
Linear orders
# ?1 S4 [+ v' E) r7 ~% t+ |Locales
0 K/ u7 K; e( }' oLocally compact topological spaces
/ C" z9 T( G& @. u6 wLoops
Lukasiewicz algebras of order n
) v/ v/ v' x$ W. wM-sets
, e0 f" Q" h) u/ |* D1 t- T6 xMedial groupoids
1 c6 a: F" A! ~) R% m6 UMedial quasigroups
, }$ S; T' R8 O) h' zMeet-semidistributive lattices
' Q$ J5 Y* {! Y! m8 DMeet-semilattices
1 Z: e9 y) ]8 ]8 ?1 ]% ?: XMetric spaces
Modal algebras
3 y" [2 x1 G( ?$ j! A2 i9 LModular lattices
9 L  V+ `( T/ l& hModular ortholattices
& T0 |! e, M4 W- [Modules over a ring
! O/ [8 U0 m6 o8 cMonadic algebras
Monoidal t-norm logic algebras
5 ]- u+ L3 }) E* j7 @! f2 o; v3 [Monoids, Finite monoids, with zero
Moufang loops
& c; y) Z- S0 D7 {Moufang quasigroups
" d6 Q) F7 e, q4 p( H( U) UMultiplicative additive linear logic algebras
Multiplicative lattices
. d4 q1 @: T( X9 O& f" LMultiplicative semilattices
Multisets
MV-algebras
. K- T3 F! M' gNeardistributive lattices
Near-rings
; b% e2 V& k, j( r% v* X8 gNear-rings with identity
: I. b! Z) U/ V9 sNear-fields
* ^& d2 T" Y6 K# Z4 dNilpotent groups
Nonassociative relation algebras
Nonassociative algebras
: g0 `& Q, w- R- X$ |4 B7 y! o2 jNormal bands
Normal valued lattice-ordered groups
Normed vector spaces
% j8 U1 ?# \8 l2 e/ C) OOckham algebras
8 J7 u7 n/ ^2 W! M8 iOrder algebras
Ordered abelian groups
Ordered fields
Ordered groups
Ordered monoids
" y; z/ e2 B# ^2 d/ `" iOrdered monoids with zero
Ordered rings
1 J* R1 r  ]  e  x8 IOrdered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero
4 r8 D+ Y2 R+ SOrdered semilattices, Finite ordered semilattices
Ordered sets
Ore domains
Ortholattices
1 g3 Q0 _5 b7 M! u- T+ @/ FOrthomodular lattices
$ M$ u7 m3 ?. O  r2 yp-groups
Partial groupoids
6 ?# {+ \3 k  k) w( I9 y! b  vPartial semigroups
( r% X5 {  N' \  ]1 IPartially ordered groups
  A3 q! b: m0 V) Z- }3 C7 cPartially ordered monoids
Partially ordered semigroups
6 p, W7 j, m! W# g) Z. N  ^6 }1 N( nPartially ordered sets
Peirce algebras
. i$ u% g- s$ q' y* w7 C+ ?9 uPocrims
$ i) O+ t! a  RPointed residuated lattices
! y4 }' |- s+ x, R# RPolrims
0 a( z, \+ ^" |' Y5 }Polyadic algebras
# y/ V! t* k; `0 bPosets
1 v. K2 b5 g5 g) ?# c$ vPost algebras
Preordered sets
Priestley spaces
$ r/ v. T, p; @Principal Ideal Domains
Process algebras
Pseudo basic logic algebras
Pseudo MTL-algebras
Pseudo MV-algebras
Pseudocomplemented distributive lattices
) g6 I# |& |1 q! i2 M' v: _! p1 C- `Pure discriminator algebras
+ _$ r1 y. J2 H3 O% n) ?Quantales
* G$ U4 |+ p  D# ~: f2 e. \Quasigroups
5 i' \5 v, h4 h" }2 cQuasi-implication algebras
Quasi-MV-algebra
Quasi-ordered sets
Quasitrivial groupoids
$ N+ @! J1 W! u. R5 f$ dRectangular bands
( D0 @3 _1 Z( j+ _/ y9 y; F1 NReflexive relations
Regular rings
: z! }$ k  l; ?Regular semigroups
; U8 I( c$ R/ t# r2 jRelation algebras
. p, e+ B* P; `8 }* SRelative Stone algebras
  }. v5 @/ }4 B! I- yRelativized relation algebras
/ G0 l+ m7 }) x3 yRepresentable cylindric algebras
' m7 B$ S/ J8 R: Z9 E6 U$ kRepresentable lattice-ordered groups
Representable relation algebras
Representable residuated lattices
Residuated idempotent semirings
Residuated lattice-ordered semigroups
Residuated lattices
Residuated partially ordered monoids
Residuated partially ordered semigroups
1 B# {) t) c  z6 v, r( QRings
Rings with identity
; }$ p; l: C9 d7 t, `. t) FSchroeder categories
' ?9 G2 \! T9 e) H; Z5 i1 x9 n& eSemiassociative relation algebras
& r) B5 j7 s  ]- H/ \Semidistributive lattices
- O! q* X6 B  A4 c: D( xSemigroups, Finite semigroups
- j) @  ]) e8 R: i* p) |Semigroups with identity
Semigroups with zero, Finite semigroups with zero
Semilattices, Finite semilattices
Semilattices with identity, Finite semilattices with identity
5 g$ c) p4 j, y7 `/ _6 M  |Semilattices with zero
( X( s1 \! r/ ?+ @: v" z" \Semirings
$ \8 }  I6 m% Z5 T  ZSemirings with identity
Semirings with identity and zero
Semirings with zero
Sequential algebras
5 B! r) C9 \1 D8 J3 k0 n% lSets
1 E: Z; J: q! x7 O8 O/ \Shells
9 \6 ^6 b. e1 S. [( l, K! }Skew-fields
7 N2 D2 ~$ C6 ^* v9 \! ?Skew_lattices
* r+ t' l7 ~" V' W1 X5 QSmall categories
Sober T0-spaces
Solvable groups
Sqrt-quasi-MV-algebras
Stably compact spaces
- ?6 _, b5 J+ D6 f6 u% M3 RSteiner quasigroups
Stone algebras
Symmetric relations
T0-spaces
' J  [/ _! ~4 @: t5 K2 B9 \. X- A& R+ }( FT1-spaces
T2-spaces
7 I, a1 z6 ~3 L: uTarski algebras
) T& I9 `) R' W7 b; w6 I% ?) XTense algebras
Temporal algebras
7 i) H2 }6 _: U; ?+ y: mTopological groups
Topological spaces
* @7 p; n7 E1 `, G$ }- cTopological vector spaces
& ]- v) s1 [! k3 v! u! p3 iTorsion groups
' c  B# I2 D6 t/ L: r, M  OTotally ordered abelian groups
Totally ordered groups
! i1 B2 O! d2 Z; R) `% bTotally ordered monoids
: p* \3 T5 O0 }6 z$ G6 P% f3 ?8 I" ATransitive relations
; E9 U: l# J8 s7 x# x+ l& g( ]Trees
Tournaments
  [' Z5 W; I+ k, T6 M* jUnary algebras
Unique factorization domains
Unital rings
Vector spaces
Wajsberg algebras
Wajsberg hoops
Weakly associative lattices
( \" X* N, A( i& ?( HWeakly associative relation algebras
$ A/ C3 f* c5 q" F- C" X+ G# v' uWeakly representable relation algebras

lilianjie

阿贝尔群Abel群
阿贝尔格序群
阿贝尔下令组
  a% z$ J/ U: {$ T8 l阿贝尔p -群
0 g/ V8 w; M9 n阿贝尔部分下令组
行动代数行动代数
4 ~. |) I3 j2 M2 p行动晶格
. Z4 U7 Y. w- _4 V1 A1 P  f; x) F代数晶格
: C( f7 d1 v: M2 N代数偏序代数偏序集
# e5 l8 l7 T" R$ X, h% P代数半格
2 ?7 k7 C# a, C, f/ z9 N2 h3 K$ k寓言的寓言（范畴论）
几乎分配格
关联代数关联代数
' c$ I! T$ ^% ^( d' lBanach空间的Banach空间
乐队乐队（数学），有限频带
, B2 D8 z8 o2 B2 }基本逻辑代数
BCI -代数的BCI代数
1 j) p9 q( v0 A, v8 w4 i3 g1 T: \% mBCK -代数BCK代数
BCK联接，半格
BCK晶格
BCK -满足的半格
双线性代数
BL -代数
Binars，有限的binars，与身份，身份和零与零，
布尔代数布尔代数（结构）
9 N3 x( @( x( Y* E$ t与运营商布尔代数
布尔组
4 N. i3 v+ q( d& j布尔晶格
对关系代数的布尔模块
; A! v5 `# r- j7 k2 j* A) G布尔半群
布尔环
布尔半群
布尔半格
, d) W: n( k1 A, K布尔空间
, q( Z9 d' W% Y- a! Q3 h% P" n有界分配格
界晶格
: P# q* R5 ?% e1 P界剩余格
Brouwerian代数
Brouwerian半格
C *-代数
6 d  }, r. r. D消可交换半群
/ D1 X* T3 `, v6 z8 C# g消可交换半群
& [8 v7 M9 g5 }! ^# x% Q可消半群
可消半群
1 M) s& G  v- r  y% p/ J消residuated格
2 i/ c. J2 M+ _) j2 X) j) A分类
链
4 p0 _# n4 r* J& A克利福德半群
Clifford代数
( C* `0 h7 p9 }" C3 v: V4 ?- k封闭代数
可交换BCK -代数
交换binars，有限的可交换binars，与身份，零，身份和零
3 E" u3 }; K" o4 |3 n# v2 ?/ Q可交换的组成下令半群，有限可交换积分下令半群
交换逆半群
* M5 p/ K! d6 {* Q! @4 d交换点阵有序的半群
7 E" k4 g4 x  D) s& d/ |交换格序环
交换格序半群
交换半群，有限可交换半群，零的有限可交换半群
交换下令半群
. M# q1 j1 j6 `9 l交换下令戒指
有限交换交换序半群，序半群
可交换部分有序的半群
可交换部分序半群
交换正则环
交换剩余格序半群
交换residuated格
' g/ E& ^. O9 ~, D1 o# i# u可交换residuated偏序半群
: o! N/ v0 K% T7 ?  R可交换residuated偏序半群
! f0 J% _( F# i交换环
) A+ \8 N/ s( _% [; ?+ F与身份的交换环
交换半群，有限可交换半群，零
紧凑型拓扑空间
紧凑的零维的Hausdorff空间
补充晶格
有补分配格
补充模块化晶格
完整的分配格
完备格
完整的半格
完成部分订单
8 G  q8 G3 D! z( r3 `. D完全正则豪斯多夫空间
6 P3 j' i- |1 i9 j2 K" d完全正则半群
4 I. e. `: h0 u* ~" W, p8 i连续格
4 P/ J- P1 Y% Y5 x( b6 F8 C连续偏序集
柱形代数
德摩根代数
! J& ?  H# E" n: F/ t德摩半群
戴德金类别
  E0 o1 {) ^5 a% B2 n3 l戴德金域
稠密线性订单
有向图代数
2 u3 |( y% e; ^  R导演完成的部分订单
导演部分订单
2 Y& K5 R+ m' p7 T6 S有向图
Directoids
, y* D) }4 h/ u' `9 b4 C4 ^分配寓言
分配的双p -代数
分配的双P -代数
- @  C: Q  m8 p+ n' p* ?分配格扩展
分配格
+ g. O/ O' D7 f0 i) \" f4 q与运营商分配格
; A0 `! u7 R# p! Y7 c: z分配格序半群
分配p -代数
% K" s8 i3 W% M  }分配residuated格
司代数
科环
* R; Z1 |& ]" }双Stone代数
邓恩半群
- K% [0 g5 V: z1 H5 @4 E7 {动态代数
/ I# ?0 T% J; s( K  ^! S熵groupoids
等价代数
& e+ j* R: j  ]+ B: _% u等价关系
欧几里德域
F -环
字段
% {4 r" g8 s& H& W2 O) k' y9 PFL -代数
' w( D7 ]: \. P' R! |: w2 v8 z2 KFLC -代数
( n- p) q. R+ `* Z- {/ m2 hFLE -代数
* f! M. w2 U& y+ C$ q( F) R) q5 v飞到-代数
FLW -代数
+ o" D4 f2 {# @9 R. ^' _1 s+ l框架
功能戒指
G - 组
广义BL -代数
广义布尔代数
广义的MV -代数
: z, o3 d. @, y8 h9 E% _4 tGoedel代数
图
. I; a5 ^3 M% i* B5 [: [Groupoids
; v+ ]/ {' v- i4 \& v9 i组
豪斯多夫空间
. m& y: s3 K, _! D- x3 b0 f" LHeyting代数
希尔伯特代数
& w9 H  a! p( M4 O$ f. }$ }Hilbert空间
篮球
幂等半环
幂等半环与身份
幂等半环的身份和零
3 ^1 |' L* p8 h" q. X# C$ f幂等半环与零
蕴涵代数
( [9 @" l# U% r& ?6 C& r含蓄的格子
积分域
积分下令半群，有限积分下令半群
积分关系代数
集成剩余格
直觉线性逻辑代数
逆半群
合的格子
+ ?5 s( O  F: `4 Z- S% j. W( g' a合的residuated格
加盟semidistributive格
, h! e3 i5 R0 D% r3 U& n加盟半格
约旦代数
克莱尼代数
* I3 u- X  \" H  h2 {$ e/ b克莱尼晶格
. ]$ @7 h" a, ]8 _; ^Lambek代数
格序群
- l$ k8 M+ s' g' l( @: q: A1 G5 {格子下令半群
格序环
( E: g0 C! C% U: ^, _7 K$ W格序半群
# z: X, s; o7 w7 `栅
左可消半群
' Q1 w9 c- S# V1 f* Z# a李代数
0 u0 m/ W6 v+ L" o线性Heyting代数
5 [( r! }* P. A8 M1 x1 R$ i线性逻辑代数
2 E1 o2 c0 n! m线性订单
语言环境
局部紧拓扑空间
循环
6 O$ w1 w: G9 K4 ?$ h/ un阶Lukasiewicz代数
1 E2 o+ Q; \5 J2 d/ J: iM -组
内侧groupoids
! ?! Z! o- b1 Q/ }内侧quasigroups
# O8 M* {, D3 }9 o7 ~9 j, J会见semidistributive格
会见半格
度量空间
模态代数
模块化晶格
0 `% d( t2 p6 {5 n  G模块化ortholattices
& d& K, T& v- h  N: L* F0 Y环比一个模块
单子代数
Monoidal t -模的逻辑代数
幺半群，有限半群，零
4 O- b# s0 X2 T% n  i( A) s8 k# [Moufang循环
Moufang quasigroups
3 K& g) F( W$ P* s! N; Y0 I乘添加剂的线性逻辑代数
1 m5 K6 N5 M1 F乘晶格
0 G0 P' u$ R( U% R乘法半格
- E& W5 X$ W& C" a0 \; y' Q. L多重集
MV -代数
Neardistributive晶格
- r& D1 C4 |* m$ I( ]2 C" F近环
, e% g( B9 ~% `近环与身份
# w3 ?' T( A: V' f近田
! {  A+ ~' U/ J幂零群
非结合的关系代数
非结合代数
普通频段
正常价值格序群
赋范向量空间
奥康代数
订购代数
3 w0 i# K# A: E. Z# a/ K1 N有序阿贝尔群
有序领域
序群
8 l9 U0 j2 h: |0 T! S有序半群
与零有序的半群
有序环
序半群，有限序半群，有限下令零半群
8 |. g. d; e4 w: p3 [- j4 N# A* m1 @有序半格，有限下令半格
6 Y3 n) Y+ m8 Z- y. d( T5 U0 {  p有序集
矿石域
Ortholattices
' |4 Q6 X0 W9 U  Z& B% I- H7 F正交模格
p -群
' [, q* J, V% Q4 l7 Y, G4 E9 }部分groupoids
/ F4 R( u6 d6 ~部分半群
部分有序的群体
- s! j8 K: ^+ ^4 Q: j部分下令半群
( F- c& d8 J, {6 r: C' s部分序半群
部分有序集
. h  R, S) M4 X2 D0 ]2 k1 F皮尔斯代数
Pocrims
指出residuated格
Polrims
7 O" L  X: H; T2 F* c7 {5 cPolyadic代数
* ]1 s9 L  r( F2 P8 z偏序集
0 p+ t2 A' I" R, J邮政代数
Preordered套
普里斯特利空间
; ~7 A8 R9 S4 @' X6 y; w) L. x, a主理想域
进程代数
伪基本逻辑代数
  U' Y* K: A5 A1 @+ @/ f& Y伪MTL -代数
5 |; q/ {3 M5 f# q# ^伪MV -代数
Pseudocomplemented分配格
纯鉴别代数
( p' ?! E! h& CQuantales
Quasigroups
准蕴涵代数
5 J) K9 L) l5 D6 W/ i4 F准MV -代数
准有序集
- j) ^6 f* i/ f4 t! W9 d" yQuasitrivial groupoids
9 @! c. z8 H' m0 {1 l矩形条带
自反关系
正则环
正则半群
3 D& u& X( F7 ^- |! v3 F& I9 V关系代数
相对Stone代数
* h& p, m6 W4 n相对化的关系代数
3 C7 R! t% M' E7 O* Z表示的圆柱代数
* C; N8 n- |( R0 u) R) S# V% l表示的格序群体
7 T* ~- B5 F/ d; g. \) Q9 C9 y4 O表示的关系代数
5 o6 a, @1 n1 b* X# d' S1 f表示的residuated格
Residuated幂等半环
剩余格序半群
剩余格
! ~3 l3 h) }' @! ~0 xResiduated部分有序的半群
( q+ ~1 ?: }8 L. |Residuated部分序半群
戒指
. M- d0 _4 D6 v' v! g& P4 U9 v戒指与身份
施罗德类别
Semiassociative关系代数
Semidistributive晶格
半群，有限半群
半群与身份
6 [5 `& I$ r3 D半群与零，有限半群与零
半格，有限半格
: u4 H( \; N$ Q9 V/ [与身份，与身份的有限半格半格
半格与零
半环
半环与身份
半环与身份和零
. \0 v5 P+ [. v+ t1 N* b" h半环与零
9 X& s2 i, [/ o/ j; {连续代数
. S2 u3 ?; }* C8 B6 e集
% T4 E6 Z/ S3 p壳
歪斜领域
7 L4 g1 n9 a& D& ?! C- NSkew_lattices
7 L; ?0 |$ V( z% n! l  v8 p9 @小类
清醒T0 -空间
可解群
5 u6 ?( b# ]8 NSQRT准MV -代数
稳定紧凑的空间
施泰纳quasigroups
- P7 G2 V( @0 ?* {  pStone代数
对称关系
T0 -空间
9 |) O9 V4 x6 j% v2 i) e8 [T1 -空间
) G8 N6 s% j& t/ ^( o8 KT2 -空间
塔斯基代数
紧张代数
时空代数
) i$ }; g; H7 L  ?. T拓扑群
拓扑空间
拓扑向量空间
5 D, w3 X4 @9 H$ F) O' @扭转组
全序的阿贝尔群
全序的群体
# ]1 J; H5 R4 f0 |9 c6 O& \完全下令半群
Transitive的关系
树
& X* C) l/ `# O0 E+ K锦标赛
! j8 L& ~+ a5 Q5 M$ f一元代数
, V) c) C* d% t4 p3 u9 v唯一分解域
Unital环
/ O# ]8 ~; p+ _/ H# a向量空间
8 z& }$ C% h9 {3 K- r+ zWajsberg代数
  T: z. B' k% O( ^) j  q$ H7 }Wajsberg箍
弱关联格
弱关联关系代数
1 p5 N( d; S  B弱表示关系代数

孤寂冷逍遥

qazwer168

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

ZONDA

谢谢楼主啦