k"+1元组"L" = ("X",…, "X", "G"("L"))，其中"G"("L")是笛卡儿积"X" ×…× "X"的子集，称之为"L"的「关系图」。
例子.
可除性.两个正整数"n"和"m"之间「可除性」的关系是指「"n" 整除"m"」。此一关系通常用一特殊的符号「 | 」来表示它，写成「"n"|"m"」来表示「"n"整除"m"」。若要以集合来代表这二元关系，即是设正整数的集合"P" = {1,2,3,…}，然后可除性就是一个在"P"上的二元关系"