Set difference is finite - transitive relation?

409 Views Asked by At

Let $A=P(\mathbb N)$. The relation $E$ is defined: $(X,Y) \in E$ iff $X \setminus Y$ and $Y \setminus X$ are finite.

I was given to prove this is an equivalence relation, however I had troubles proving the transitivity. Any hints?

2

There are 2 best solutions below

0
On

Let $(X,Y) \in E$ & $(Y,Z)∈E$. we prove $(X,Z) \in E$ (in one direction, the other will be similar):
if $c\in Z \setminus X$ then we have two possibility:
1) $c \in Y$ then $c\in Y\setminus X$, which is finite
2) $c\notin Y$ then $c\in Z\setminus Y$, which is finite

0
On

Hint: Try to prove $X\setminus Z \subseteq (X\setminus Y) \cup (Y\setminus Z)$ first.