Teori ReIasi Lexicographic merupakan perluasan dart teori pasangan, yang clidefinisikan dalan suatu aksioma dan terdiri dart proposisi proposisi yaitu asymetri, transitif, dan irrefleksif. Sedangkan relasi lexicographic yang well — founded adalah penggabungan dart dua relasi yang well — founded atas dua klas object
