Two things must simultaneously hold.
The two posting tuples must belong to the same post:
$\mathrm{R_1.post=R_2.post}$.
They must have been written by different users:
$\mathrm{R_1.user\neq R_2.user}$.
Therefore, the required theta join is
$\mathrm{R_1}\bowtie_{\mathrm{R_1.post=R_2.post}\ \land\ \mathrm{R_1.user\neq R_2.user}}\mathrm{R_2}$.
After finding such posts, project their $\mathrm{post}$ identifiers and connect those identifiers to $\mathrm{Posts.pid}$ to retrieve the $\mathrm{summary}$.
Hence A is correct.
B can pair different users from completely different posts.
C specifically requires the same user, which is the opposite of the requirement.
D only establishes that two tuples belong to the same post. A single user's posting can match itself, so it does not prove that two distinct users are present.