poki $A$ li poki $B$ $\iff$ toki tu ni li lon:
poki $A$ li poki $B$, la mi sitelen e ni: $A = B$. poki $A$ li jo e ijo $x$, la mi sitelen e ni: $x \in A$. mi kepeken e nasin ni, tawa poki ale, tawa ijo ale. mi ken toki e toki suli 1, kepeken sitelen sin ni:
poki $A$ en poki $B$ li poki, la $A = B$ $\iff$ ($x \in A \iff x \in B$)
o lukin e sitelen, lon sewi. sitelen, la poki $A$ li poki $B$ ala. kepeken nimi ante, la $A \not = B$. ni li tan seme? o lukin e ijo $x$. poki $A$ li jo e ijo $x$. taso, poki $B$ li jo ala. kepeken nimi ante, la $x \in A$ taso $x \not \in B$. mi ken sona e ni, kepeken nasin ante. o lukin e ijo $y$. poki $B$ li jo e ijo $y$. taso, poki $A$ li jo ala e ijo $x$. $y \in B$ en $y \not \in A$, la $A \not = B$. pilin ike!
