"linearly ordered" Deutsche bedeutung