The book is devoted to a simplified set-theoretic version of denotational semantics where sets ar...