Proving Set Relations