ในการวิเคราะห์แนวคิดเชิงรูปธรรม (FCA) ความสัมพันธ์เชิงนัยจะเชื่อมโยงชุดของคุณสมบัติ (หรือความหมายเหมือนกันคือชุดของคุณลักษณะ) ความสัมพันธ์เชิงนัยA → B เป็นจริงในโดเมนที่กำหนดเมื่อวัตถุทุกตัวที่มีคุณลักษณะทั้งหมดในAก็มีคุณลักษณะทั้งหมดในBด้วย ความสัมพันธ์เชิงนัยดังกล่าวจะกำหนดลักษณะลำดับชั้นของแนวคิดในลักษณะที่เข้าใจง่าย ยิ่งไปกว่านั้น ความสัมพันธ์เชิงนัยเหล่านี้ยัง "ทำงานได้ดี" เมื่อเทียบกับอัลกอริทึม วิธีการได้มาซึ่งความรู้ที่เรียกว่าการสำรวจคุณลักษณะใช้ความสัมพันธ์ เชิงนัย ^{[ 1 ]}  

ความสัมพันธ์เชิงบ่งชี้A → Bนั้นเป็นเพียงคู่ของเซตA ⊆ M , B ⊆ Mโดยที่Mคือเซตของคุณลักษณะที่กำลังพิจารณาAคือข้อตั้งต้นและBคือข้อสรุปของความสัมพันธ์เชิงบ่งชี้ A → Bเซต C สอดคล้องกับความสัมพันธ์เชิงบ่งชี้ A → B เมื่อ ¬( C ⊆ A ) หรือC ⊆ B      

บริบทที่เป็นทางการคือสามสิ่ง(G,M,I)โดยที่GและMเป็นเซต (ของวัตถุและคุณลักษณะตามลำดับ) และI ⊆ G × Mเป็นความสัมพันธ์ที่แสดงว่าวัตถุใดมีคุณลักษณะใด การบ่งชี้ที่ใช้ได้ในบริบทที่เป็นทางการดังกล่าวเรียกว่า การบ่งชี้ ที่ถูกต้องโดยย่อ การบ่งชี้ที่ถูกต้องสามารถแสดงได้ด้วยตัวดำเนินการการอนุมาน : A → B เป็นจริง ใน(G,M,I)ก็ต่อ เมื่อ A ′ ⊆ B ′หรือเทียบเท่าก็ต่อเมื่อB ⊆ A " ^{[ 2 ]}  

เซต ของคุณลักษณะ Cจะเป็นเจตนาของแนวคิดได้ก็ต่อเมื่อCสอดคล้องกับการบ่งชี้ที่ถูกต้องทั้งหมดเท่านั้น ระบบของการบ่งชี้ที่ถูกต้องทั้งหมดจึงเพียงพอสำหรับการสร้างระบบปิดของเจตนาของแนวคิดทั้งหมด และด้วยเหตุนี้จึงสามารถสร้างลำดับชั้นของแนวคิดได้

ระบบของข้อสรุปที่ถูกต้องทั้งหมดของบริบทที่เป็นทางการจะปิดภายใต้การอนุมาน ตามธรรมชาติ บริบทที่เป็นทางการที่มีคุณลักษณะจำนวนจำกัดมีฐานมาตรฐานของข้อสรุปที่ถูกต้อง^{[ 3 ]}กล่าวคือ ตระกูลข้อสรุปที่ถูกต้องที่ไม่ซ้ำซ้อนจากข้อสรุปที่ถูกต้องทั้งหมดสามารถอนุมานได้ ฐานนี้ประกอบด้วยข้อสรุปทั้งหมดในรูปแบบP → P "\ Pโดยที่Pเป็นเจตนาเทียม กล่าวคือเซตปิดเทียมในระบบปิดของเจตนา ดู^{[ 1 ]}สำหรับอัลกอริทึม