= Solution
Certainly $A\subseteq\operatorname{dcl}(A)$. If $c\notin A$, its quantifier-free type over $A$ records only its adjacency or nonadjacency to each element of $A$. The random-graph extension axioms make every finite part of this type realizable away from any prescribed finite set; saturation therefore gives infinitely many distinct realizations. By part (a), maps fixing $A$ and moving $c$ among these realizations are elementary and extend to automorphisms. Thus $c$ has an infinite orbit over $A$ and does not belong to $\operatorname{acl}(A)$. Hence the stronger <algebraic and definable closure in the random graph> identity holds:
$$
\operatorname{acl}(A)=\operatorname{dcl}(A)=A.
$$
Back to article page
