This document is a graphical exploration on the relationship between Types, Sets…