1. supremum least upper bound Sure ["Towards a Broader Basis for Logic Programming", Bharat Jayaraman, TR CS Dept, SUNY Buffalo, 1990].
supremum |