Equivalence relation involving finiteness of symmetric difference of sets

Here is a proof almost without words, using a Venn diagram, where symbol "F" means "finite". We use the fact that a subset of a finite set is itself a finite set.

enter image description here