इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें ट्यूरिंग समतुल्य एक समतुल्य संबंध है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "ट्यूरिंग समतुल्यता एक समतुल्यता संबंध है; परिणामी समतुल्यता वर्ग ट्यूरिंग डिग्री हैं".