diff --git a/docs/algebra.md b/docs/algebra.md
index 3dc230040d..7e4972284e 100644
--- 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).)