(Slide 17)

This slide shows how the definitions for vertices, simplexes may be formalized in terms of sets, and the illustrates how the face operation is expressed in terms of sets.