Et construit le graphique de Rado en utilisant le prédicat BIT comme suit. Ils ont identifié les sommets du graphique avec les nombres naturels 0, 1, 2, ...
Et construit le radographe en utilisant le prédicat BIT comme suit: Ils ont identifié les points de veine du graphe avec les nombres naturels 0, 1, 2, ...