For every proximity exists a uniformity which generates this proximity?

This question may be generalized for different kinds of generalization of proximities and uniformities. In fact I need it for funcoids and reloids: Does for every funcoid f exists a reloid g which generates it (that is f = (FCD)g)?

Reloids are just filters on the set of binary relations (on some set).

Funcoids are essentially a generalization of proximities with only the following axioms:

• ¬(∅ δ X) and ¬(X δ ∅);
• (A∪B)δC ⇔ AδC ∨ BδC;
• Cδ(A∪B) ⇔ CδA ∨ CδB.

Read http://www.mathematics21.org/binaries/funcoids-reloids.pdf at http://www.mathematics21.org/algebraic-general-topology.html about my theory of funcoids and reloids.

For every proximity, does there exist a uniformity which generates this proximity?

This question may be generalized for different generalizations of proximities and uniformities. In fact I need it for funcoids and reloids: for every funcoid $f$ does there exist a reloid $g$ which generates it (that is $f = (\operatorname{FCD})g$)?

Reloids are just filters on the set of binary relations (on some set).

Funcoids are essentially a generalization of proximities with only the following axioms:

• ¬(∅ δ X) and ¬(X δ ∅);
• (A∪B)δC ⇔ AδC ∨ BδC;
• Cδ(A∪B) ⇔ CδA ∨ CδB.

Read http://www.mathematics21.org/binaries/funcoids-reloids.pdf at http://www.mathematics21.org/algebraic-general-topology.html about my theory of funcoids and reloids.