diff --git a/Algebraic_foundations/doc_tex/Algebraic_foundations/real_embeddable.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations/real_embeddable.tex
index 6d5e32d3891..eca0d6ea0bd 100644
--- a/Algebraic_foundations/doc_tex/Algebraic_foundations/real_embeddable.tex
+++ b/Algebraic_foundations/doc_tex/Algebraic_foundations/real_embeddable.tex
@@ -1,4 +1,5 @@
 \section{Real Embeddable}
+\label{sec:RealEmbeddable}
 
 Most number types represent some subset of the real numbers. From those types 
 we expect functionality to compute the sign, absolute value or double 
@@ -43,4 +44,4 @@ that correlates to the one of the real numbers, a sign, an absolute value and
 
 However, most number types are representing some subset of the real numbers and from that
 we can expect an order on these types that correlates to the one of the real numbers. 
-}              
\ No newline at end of file
+}