Merge pull request #4426 from benhutchison/patch-4

Update Ring-like table in Algebra for Semifield added in #3979
typelevel · Apr 19, 2023 · 14286c9 · 14286c9
2 parents e60b9e2 + 3ada4d3
commit 14286c9
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/docs/algebra.md b/docs/algebra.md
@@ -55,9 +55,10 @@ All ring-like structures are associative for both `+` and `*`, have commutative
 |CommutativeRig      |             |       ✓|                 |               ✓|
 |Ring                |            ✓|       ✓|                 |                |
 |CommutativeRing     |            ✓|       ✓|                 |               ✓|
+|Semifield           |             |       ✓|                ✓|                |
+|CommutativeSemifield|             |       ✓|                ✓|               ✓|
 |Field               |            ✓|       ✓|                ✓|               ✓|
 
-With the exception of `CommutativeRig` and `Rng`, every lower structure is also an instance of the structures above it. For example, every `Ring` is a `Rig`, every `Field` is a `CommutativeRing`, and so on.
 
 (For a description of what the terminology in each column means, see [§algebraic properties and terminology](#algebraic-properties-and-terminology).)