Nested Concept Graphs with Cuts : Mathematical Foundations