Sockets

We define the two types of sockets.
In the figure blow, we call
the point `a' and `c' a full socket, and
the point `b' and `d' a half socket