Análisis formal de conceptos
El análisis de conceptos formales es un método de análisis de datos. El término fue introducido por Rudolf Wille en 1984, empleando tanto la Teoría de retículos como la Teoría del orden, que fue desarrollada por Birkhoff y otros en 1930.Este método asume como entrada una matriz que especifica un conjunto de objetos y sus propiedades (atributos), donde conforman: un grupo de objetos que comparten un subconjunto de atributos y otro grupo de propiedades que reúne todos los atributos compartidos por estos objetos.La familia de estos conceptos obedece a los axiomas matemáticos definidos por un retículo, y se denomina un concepto de celosía (en francés se llama esta Treillis de Galois, porque la relación entre los conjuntos de conceptos y atributos es una conexión de Galois).