Prerequisites in case you may need and I am correct about them:
An entourage is a member of uniformity structure on a set for it to be a uniform space. Intuitively, an entourage is a relation on a set, such that it specifies those pairs of points, the "between-distance" for each pair being bounded by some "value" specified by the entourage. It is easier to understand for a metric space, which is an example of uniform space.
The definition I know for a Cauchy sequence in a uniform space is
A sequence $(x_i)$ is a Cauchy sequence if for every entourage $V$ there exists $n \in \mathbb{N}$ such that for all $i, j ≥ n$, $(x_i, x_j)$ is a member of $V$.
From Planetmath, the definition for a Cauchy sequence in a uniform space is
A Cauchy sequence $x_i$ in a uniform space $X$ is a sequence in $X$ whose section filter is a Cauchy filter,
where the section filter of a sequence is defined to be the maximal proper filter containing the filter base generated by the sequence, if I understand its definition correctly.
This definition of Cauchy sequence surprises me, because I was thinking instead
A Cauchy sequence $x_i$ in a uniform space $X$ is a sequence in $X$ whose filter is a Cauchy filter,
where the filter of a sequence is the minimal filter containing the filter base generated by the sequence.
So I wonder if the three definitions are equivalent?
Thanks and regards!