Sentence:  Formal Concept Analysis is a mathematical theory of concept hierarchies which is based on <WSD>Lattice Theory</WSD>. 
Meaning of the word marked with <WSD> tags:  The branch of mathematics concerned with lattices (partially ordered sets).