Abstract: Concept algebra is a denotational mathematics for rigorously manipulating formal concepts and their algebraic operations in knowledge representation, semantic analyses, and machine learning.