241   \mbox{}\\[5cm]

   241 

   242 

   242   \begin{tikzpicture}[scale=3]

   243   \begin{itemize}

   243   \clip[draw] (0.5,0.5) circle (.6cm);

   244   \item \smath{\text{finite}\, (U\!N\!IV /\!/ \approx_L) \;\Leftrightarrow\; L\; \text{is regular}}

   244   \draw[step=.5cm,gray,very thin] (-1.4,-1.4) grid (1.4,1.4);

   245   \draw (-1.5,0) -- (1.5,0);

   246   \draw (0,-1.5) -- (0,1.5);

   247   \draw (0,0) circle (1cm);

   248   \draw (3mm,0mm) arc (0:30:3mm);

   249   \end{tikzpicture}

   250 

   251   

   252 

   253   \begin{itemize}

   254   \item \smath{\text{finite}\, (U\!N\!IV /\!/ \approx_L) 

   255   \;\Leftrightarrow\; L\; \text{is regular}}