diff --git a/Advanced/Definable Sets/parts/1 structures.tex b/Advanced/Definable Sets/parts/1 structures.tex index e76492e..988d850 100644 --- a/Advanced/Definable Sets/parts/1 structures.tex +++ b/Advanced/Definable Sets/parts/1 structures.tex @@ -51,7 +51,7 @@ This is a structure with the universe $\mathbb{Z}$ that contains the following s \vspace{2mm} -If you look at our set of constant symbols, you'll see that the only integers we can directly refer to in this structure are 0 and 1. If we want any others, we must define them using the tools this structure offers. +If we look at our set of constant symbols, we see that the only integers we can directly refer to in this structure are 0 and 1. If we want any others, we must define them using the tools this structure offers. \vspace{1mm}