Indiscernible relation over knowledge K, named IND(K), is defined in Eq. (1). The family of all equivalence classes of the equivalence relation IND(K) is named U/IND(K).
ความสัมพันธ์ซึ่งไม่สามารถสังเกตเห็นได้มากกว่าความรู้ K ชื่อ IND ( K ) คือ เด จึงเน็ดในอีคิว ( 1 ) ครอบครัวของชั้นสมมูลของความสัมพันธ์สมมูล IND ( K ) เป็นชื่อ U / IND ( K )