Study the following Scriptures that refer to types and try to define what biblical typology is: Rom. 5:14, 1 Cor. 10:1–13, Heb. 8:5, and Heb. 9:23.
These biblical passages use the term “type” (Greek typos) or “antitype” (Greek antitypos) to refer to the way the New Testament writer defined the relationship between an Old Testament text or event and its meaning in his own time or in the future.