Category:Mathematical definition