mathman

It looks like the author is implicitly assuming x and y belong to some set (R?). Also the statement starts with for all x in R - shouldn't it be for all z in R?