five types: Open Closed half-open/closed infinity open infinity closed Def pg.47 If (∀x,y∈S)x>y⟹[x,y]⊆S is true, then S is interval.