The Free On-line Dictionary of Computing (19 January 2023):

LPS

   Sets with restricted universal quantifiers.

   ["Logic Programming with Sets", G. Kuper, J Computer Sys Sci
   41:44-64 (1990)].