F E 9). It is well known that N u c S + 0 iff 9 has the finite intersection property.Further, we assume that all filter bases are non-trivial.Let 6 be a family of covers of the set X. If %, qL1 are elements of G and % refines then we denote this by 4Y < 4?ll. Also for A t X , let St(A, 42) = lJ ( U I [ U E %] A A [U n A + 011. Care should be taken not to confuse this "star" operator with the standard part operator of LUXEMBURG [9] and others. D e f i n i t i o n 2.1. A family of covers 6 of X is a semi-uniform structure if (1) for each ' ?/ E G there exists 42' E G such that for each U' E W there exists some(2) %, @' E G, then there exists some W' E 6 such that W' refines both %Y and %;(3) 42 E E and % refines @', then W E 6. Clearly, if G is a semi-uniform structure, then 6 is a filter with respect to refinement. We say that a set X together with a semi-uniformity G on X is a semi-uniform space.The following result is obtained directly from the definitions and is useful when we compare MORITA'S definitions and results with those of STEINER and STEINER.TJ E qL and a'' E G such that St(lJ', $2") c U ;T h e o r e m 2.1. Let G be a semi-uniformity on X .(i) If B c G i s a base for G, thetb 23 has propertzes (1) and (2) of defitiition 2.1.(ii) If % has properties (1) and (2) of defi?iitio?i 2 1, then (8) i s a semi-uniform stntcture 018 X with base 93.
Cauchy familiesI n [13], a set F c 9 ( X ) is called a Cauchy family (with respect to a semi-uniformity G = (93)) if F has t,he finite int,ersection property and for each @ E G t'here exist,s some F E F and a1 E G such that St,(F, el) c U for some U E @. It is easily shown that tJhis definit,ion is equivalent to MORITA'S [ l l ] which states that 9 is a Cauchy family if F has the finite intersection propert,y and for each q/ E B there exist, F E F and E B such that St(F, qL1) c U for some U CI a. Two Cauchy families 3, 3 are equivalent (writ,t,en 9 -9) if for each F E F and @ E G = (B) there esist, G E 9 and %l E G such t,hat St(G, qL1) c St, (F, 92). Again bhis definition is equivalent to MORITA'S which states that 3 -9 if for each F E S and E B there exist G E 9 and E 23 such that St(G, q/J c St, (F, ?/). MORITA shows that the equivalence of Cauchy families is an equivalence relation. Throughout the remainder of t,his paper, unless ot)herwise mentioned, we shall assume that a semi-uniform space, ( X , B), is a set' X wit'h a semi-uniform base B. Hence (X, (123)) is a semi-uniform space in t,he