Sets, relation and functions - Gray, James F. (1962)