Semantics of terms, defined algebraically

This chapter discusses the boolean operators and the relational operators in the following sections.