Empty relation φ;
{ & lt0,0 & gt; };
{ & lt0, 1 & gt; };
{ & lt 1,0 & gt; };
{ & lt 1, 1 & gt; };
{ & lt0,0 & gt; ,& lt0, 1 & gt; };
{ & lt0,0 & gt; ,& lt 1,0 & gt; };
{ & lt0,0 & gt; ,& lt 1, 1 & gt; };
{ & lt0, 1 & gt; ,& lt 1,0 & gt; };
{ & lt0, 1 & gt; ,& lt 1, 1 & gt; };
{ & lt 1,0 & gt; ,& lt 1, 1 & gt; };
{ & lt0,0 & gt; ,& lt0, 1 & gt; ,& lt 1,0 & gt; };
{ & lt0,0 & gt; ,& lt0, 1 & gt; ,& lt 1, 1 & gt; };
{ & lt0,0 & gt; ,& lt 1,0 & gt; ,& lt 1, 1 & gt; };
{ & lt0, 1 & gt; ,& lt 1,0 & gt; ,& lt 1, 1 & gt; };
{ & lt0,0 & gt; ,& lt0, 1 & gt; ,& lt 1,0 & gt; ,& lt 1, 1 & gt; }。