  Gelfond and Lifschitz impose a weak closure condition on static laws: where s is a set of literals, s is restricted-closed with respect to a  B theory  T,  RBClT(s) if and only if every literal that would be added by starting with s and forward-chaining through the static laws of  B  is already in s. In other words: