sentences:  The collection of all open sets generated by the preclosure operator is a pretopology.Given formula_15 a premetric on formula_1, then 
  
  is a preclosure on formula_1.The sequential closure operator formula_19 is a preclosure operator.