"A Simple Proof of Zorn's Lemma" article. (explanation of a step) There is a short proof of Zorn's lemma by J.W.Lewin:
A Simple Proof of Zorn's Lemma.pdf
Summary:
I don't understand this step:
"Therefore if z is the least member of
$A\setminus P(B, y)$, we have $P(A, z) = P(B, y)$."
I'm interested in both  inclusions from left to right and from right to left.

A subset A of X is conforming if the following two conditions hold:


*

*The order $<$ is a well order of the set A.

*For every element $x\in A$, we have $x = f(P(A, x))$.


Theorem 
 If A and B are conforming subsets of X and $A\neq B$, then one of these two sets is an initial segment of the other.
Proof We may assume that $A\setminus B\neq\emptyset$. Define x to be the least member of
 $A\setminus B$. Then $P(A, x) \subseteq B$. We claim that $P(A, x) = B$. To obtain a contradiction,
 assume that $B\setminus P(A, x)\neq\emptyset$, and define y to be the least member of
 $B\setminus P(A, x)$. Given any element $u\in P(B, y)$ and any element $v\in A$ such that
 $v < u$, it is clear that $v \in P(B, y)$. Therefore if z is the least member of
 $A\setminus P(B, y)$, we have $P(A, z) = P(B, y)$. (???)

Actually this proof is not correct!
Suppose that X is a partial order under ≤. Let Low(A) and Up(A) be respectively the sets of all strict lower bounds and all strict upper bounds of a subset A of X; and let P(A, x) be all strict predecessors of x in A, i. e. A ∩ Low({x}).
Let g a choice function that assigns to every non-empty set one of its elements; and let  f be a function that assigns to every chain C in X the strict upper bound f(C) = g(Up(C)).
Now suppose that x and y ∈ X are incomparable (not x ≤ y and not y ≤ x) and that A = {x} and B = {y} and that g(the union of A and Up(A)) = x and g(the union of B and Up(B)) = y. So x = f(P(A,x)) and y = f(P(B,y)).
Now the sets A = {x} and B = {y} are conforming as defined in Lewin’s paper, because both are well-ordering and the second condition holds for both. But we supposed that x and y are incomparable; so are the sets A = {x} and B = {y}. So the whole lemma in the bottom of the first page of the paper is incorrect.
