A relação  definida como  se e somente se uma das duas condições equivalentes acima é satisfeita é uma relação de ordem em .
ɐ ʁˌelɐsˈɐ̃ʊ̃ dˌɨfinˈidɐ kˈomʊ sɨ i sˌumˈeɪŋtɨ sɨ ˌumɐ dɐʒ dˈuɐʃ kˌuŋdisˈõjz ˌekivɐlˈeɪŋtɨz ˌɐsˈimɐ ɛ sˌɐtiʃfˈeɪtɐ ɛ ˌumɐ ʁˌelɐsˈɐ̃ʊ̃ dɨ ˈɔɾədeɪŋ ˈeɪŋ .