mathematics ideal