relations can expressions include relations is x y an expression it seems the distinction that expressions cannot include the equals sign often considered a relation should at least be included in the second sentence i usually think of expressions as more or less equivalent to terms in first order logic and terms cannot include relations is there a source that includes relations as part of expressions