Title: Theory / Unimportant / CS / Fundamental / Automata / Finite / Sakarovitch / 0 - Fundamental structures;
Tags: defToAlgebra setAdditionMultiplication setMultiplication

Page: 28
Chapter: 0
Section: 5
Name: The Boolean semiring
Set: \(\{0,1\}\)
Notation: \(\mathbb B\)
*: \(\times\)
Kind: Ex
Index: 1
+: +

Definition: \(\{\mathbb N\cup\{+\infty\},+,\times\}\)
Page: 28
Chapter: 0
Section: 5
Context: Mathematical structure
Notation: \(\mathcal N\)
Index: 1 (iii)
Kind: Ex

Page: 28
Chapter: 0
Section: 5
Name: The tropical semiring
Set: \(\mathbb N\cup\{+\infty\}\)
Notation: \(\mathcal M\)
*: sum
Kind: Ex
Index: 1 (iii)
+: minimum
0: \(+\infty\)

Definition: The operator sending a set \(X\) to the set of subsets of \(X\)
Page: 9
Chapter: 1
Notation: \(\mathfrak B\)