Infra-Mackey spaces and dual local completeness;

Using the notion of streaming sequences introduced by Rolewicz and the theory of local completeness, we give the streaming sequence characterizations of the drop property and the local drop property in locally convex spaces.

We introduce the concepts of algebraic local complete poset,FS-local directed complete poset and local stable funtion.

According to the GALILEO local integrity concept and the basic theory of network RTK, the local integrity monitoring theory and algorithm of global navigation system, which consists of network integrity algorithm and user integrity algorithm, are established.

When a poset is a local directed complete set, the auxiliary relation on it has many properties.