Specifying and Structuring Mathematical Topics