Neither (1) nor (2) alone is sufficient for (3) to hold.
Clearly, $A$ is neither symmetric nor positive.
However, $X$ is not finite, nor is $Y$ countable. [Note the inversion.]
This topology is compact, but not usually Hausdorff, nor even $T_1$.
Go to the list of words starting with: a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
y
z