"ordered pair" Deutsche bedeutung