borˈume na θˌeorˈisumˌe to ˈos ti sçˈesi pu ˌapotelˈite apˌo ˈola ta ðˌiatˌetaɣmˈena zˈevji jˈa ta opˈia isçˈii .
Μπορούμε να θεωρήσουμε το  ως τη σχέση που αποτελείται από όλα τα διατεταγμένα ζεύγη  για τα οποία ισχύει .