{(A,B) : A, B ⊆ X, there is a bijective f : A → B}, X is limited.
I have to show if this is (for proving that's an equivalence relation):
$R ⊆ X \times X$
I) reflexive (if $∀x ∈ X : (x, x) ∈ R$)
II) symmetrical (if $∀x,x' ∈ X : (x, x') ∈ R ⇒ (x,x') ∈ R$)
III) transitive (if $∀x, x', x'' ∈ R : (x, x') ∈ R (x',x'') ∈ R ⇒ (x, x'') ∈ R$)
Alright, I understand what and how I have to do it, but somehow not with this task.
Maybe someone could show me how to transform the very first line into something I can work on. I'm also a little confused about that $R⊆X \times X$ thing. It's A, B ⊆ X and I'm afraid that my 3 points I have to show can't be applied that easily on my task.
For this particular relation $R$, we have two base sets, one is $X$, its subsets are the 'elements' among which $R$ is interpreted, so the base set of $R$ now is the power set $\mathcal P(X)$, that is, $R\subseteq \mathcal P(X)\times\mathcal P(X)$.
You need to show that, for all $A,B,C\in\mathcal P(X)$: