Suppose that a semiflow on [bar.[OMEGA]] leaves both [OMEGA] and [partial derivative][OMEGA] forward invariant, maps bounded sets in [bar.[OMEGA]] to precompact set
for t > 0, and it is dissipative.
Saadati and Park  defined precompact set
in intuitionistic fuzzy metric spaces and proved that any subset of an intuitionistic fuzzy metric space is compact if and only if it is pre-compact and complete.
Then W is a precompact set
in [L.sup.p(*),[lambda](*)] ([R.sup.n]).
Step 4 ([P.sub.i] map [B.sub.r] into a precompact set
in x (i = 1, ..., m)).
Kakol, "On precompact sets
in spaces [C.sub.c] (X)," Georgian Mathematical Journal, vol.
Cobzas, Compact and precompact sets
in asymmetric locally convex spaces, Topology Appl.