"totally ordered set" Deutsche bedeutung