Definitions, “let,” and “:=”

Read phrases such as “Let A be a set” and symbols such as := as instructions that create names for objects. Practice translating short definition lines into plain English before using the notation that follows.