"ordered field" Deutsche bedeutung