Definitions Index lim-lub