set.eq_of_mem_singleton source