	\begin{tikzpicture}
		\draw(1,1) node{\begin{tikzpicture}[scale=1]\small
			\def\x{.75};
			%%
			\draw[dashed,\gray](0*\x,0*\x) -- (1*\x,0*\x);
			\draw[dashed,\gray](0*\x,1*\x) -- (3*\x,1*\x);
			\draw[dashed,\gray](0*\x,2*\x) -- (3*\x,2*\x);
			\draw[dashed,\gray](0*\x,3*\x) -- (5*\x,3*\x);
			\draw[dashed,\gray](0*\x,4*\x) -- (5*\x,4*\x);
			\draw[dashed,\gray](0*\x,0*\x) -- (0*\x,4*\x);
			\draw[dashed,\gray](1*\x,0*\x) -- (1*\x,4*\x);
			\draw[dashed,\gray](2*\x,1*\x) -- (2*\x,4*\x);
			\draw[dashed,\gray](3*\x,1*\x) -- (3*\x,4*\x);
			\draw[dashed,\gray](4*\x,3*\x) -- (4*\x,4*\x);
			\draw[dashed,\gray](5*\x,3*\x) -- (5*\x,4*\x);
			%%
			\draw(1*\x,0*\x) node[fill,circle,scale=.6](v1){};
			\draw(3*\x,1*\x) node[fill,circle,scale=.6](v2){};
			\draw(1*\x,2*\x) node[fill=\blue,circle,scale=.6,label=below left:{\color{\blue}$q=p\llcorner r$}](v3){};
			\draw(2*\x,2*\x) node[fill,circle,scale=.6,label=below:$r$](v4){};
			\draw(3*\x,2*\x) node[fill,circle,scale=.6](v5){};
			\draw(4*\x,3*\x) node[fill,circle,scale=.6](v6){};
			\draw(5*\x,3*\x) node[fill,circle,scale=.6](v7){};
			\draw(0*\x,4*\x) node[fill,circle,scale=.6](v8){};
			\draw(1*\x,4*\x) node[fill,circle,scale=.6,label=above:$p$](v9){};
			\draw(4*\x,4*\x) node[fill,circle,scale=.6](v10){};
			%%
			\draw[line width=1pt,black](v1) -- (v3);
			\draw[line width=1pt,black](v2) -- (v5);
			\draw[line width=1pt,black](v3) -- (v4);
			\draw[line width=1pt,black](v3) -- (v9);
			\draw[line width=1pt,black](v4) -- (v5);
			\draw[line width=1pt,black](v6) -- (v7);
			\draw[line width=1pt,black](v6) -- (v10);
			\draw[line width=1pt,black](v8) -- (v9);
			\draw[line width=1pt,black](v9) -- (v10);
			%%
			\begin{pgfonlayer}{background}
				\fill[\gray,opacity=.5](1*\x,2*\x) -- (1*\x,4*\x) -- (2*\x,4*\x) -- (2*\x,2*\x) -- cycle;
			\end{pgfonlayer}
		\end{tikzpicture}};
		\draw(4,1) node{$\lessdot_{\nu}$};
		\draw(7,1) node{\begin{tikzpicture}[scale=1]\small
			\def\x{.75};
			%%
			\draw[dashed,\gray](0*\x,0*\x) -- (1*\x,0*\x);
			\draw[dashed,\gray](0*\x,1*\x) -- (3*\x,1*\x);
			\draw[dashed,\gray](0*\x,2*\x) -- (3*\x,2*\x);
			\draw[dashed,\gray](0*\x,3*\x) -- (5*\x,3*\x);
			\draw[dashed,\gray](0*\x,4*\x) -- (5*\x,4*\x);
			\draw[dashed,\gray](0*\x,0*\x) -- (0*\x,4*\x);
			\draw[dashed,\gray](1*\x,0*\x) -- (1*\x,4*\x);
			\draw[dashed,\gray](2*\x,1*\x) -- (2*\x,4*\x);
			\draw[dashed,\gray](3*\x,1*\x) -- (3*\x,4*\x);
			\draw[dashed,\gray](4*\x,3*\x) -- (4*\x,4*\x);
			\draw[dashed,\gray](5*\x,3*\x) -- (5*\x,4*\x);
			%%
			%%
			\draw(1*\x,0*\x) node[fill,circle,scale=.6](v1){};
			\draw(3*\x,1*\x) node[fill,circle,scale=.6](v2){};
			\draw(1*\x,2*\x) node[draw=\blue,circle,scale=.6]{};
			\draw(2*\x,2*\x) node[fill,circle,scale=.6,label=below:$r$](v3){};
			\draw(3*\x,2*\x) node[fill,circle,scale=.6](v4){};
			\draw(4*\x,3*\x) node[fill,circle,scale=.6](v5){};
			\draw(5*\x,3*\x) node[fill,circle,scale=.6](v6){};
			\draw(0*\x,4*\x) node[fill,circle,scale=.6](v7){};
			\draw(1*\x,4*\x) node[fill,circle,scale=.6,label=above:$p$](v8){};
			\draw(2*\x,4*\x) node[fill=\red,circle,scale=.6,label=above right:{\color{\red}$q'=p\urcorner r$}](v9){};
			\draw(4*\x,4*\x) node[fill,circle,scale=.6](v10){};
			%%
			\draw[line width=1pt,black](v1) -- (v8);
			\draw[line width=1pt,black](v2) -- (v4);
			\draw[line width=1pt,black](v3) -- (v4);
			\draw[line width=1pt,black](v3) -- (v9);
			\draw[line width=1pt,black](v5) -- (v6);
			\draw[line width=1pt,black](v5) -- (v10);
			\draw[line width=1pt,black](v7) -- (v8);
			\draw[line width=1pt,black](v8) -- (v9);
			\draw[line width=1pt,black](v9) -- (v10);
			%%
			\begin{pgfonlayer}{background}
				\fill[\gray,opacity=.5](1*\x,2*\x) -- (1*\x,4*\x) -- (2*\x,4*\x) -- (2*\x,2*\x) -- cycle;
			\end{pgfonlayer}
		\end{tikzpicture}};
	\end{tikzpicture}