因?yàn)殛P(guān)系是一個(gè)元組的集合,而元組在集合中的順序無(wú)關(guān)緊要。因此不考慮元組間的順序,即沒(méi)有行序。
在驗(yàn)證公式時(shí)需對(duì)無(wú)窮多個(gè)元組進(jìn)行驗(yàn)證就是無(wú)窮驗(yàn)證。