The elements of Project_Teams are set (presumably with elements in Workforce) while Workforce is a set whose elements are workers. If this is the case no, Project_Teams is not an element of Workforce (which is what you are asking) since Project_Teams is not a worker.