Set

This chapter describes the logics of the "Set" category.