Definition:Projection on Family of Sets