finite
    adj 1: bounded or limited in magnitude or spatial or temporal
           extent [ant: infinite]
    2: of verbs; relating to forms of the verb that are limited in
       time by a tense and (usually) show agreement with number and
       person [ant: infinite, non-finite]

Finite \Fi"nite\, a. [L. finitus, p. p. of finire. See Finish,
   and cf. Fine, a.]
   Having a limit; limited in quantity, degree, or capacity;
   bounded; -- opposed to infinite; as, finite number; finite
   existence; a finite being; a finite mind; finite duration.
   [1913 Webster]

compact
finite
isolated

   1.  (Or "finite", "isolated") In domain theory, an
   element d of a cpo D is compact if and only if, for any
   chain S, a subset of D,

   	d <= lub S  =>  there exists s in S such that d <= s.

   I.e. you always reach d (or better) after a finite number of
   steps up the chain.

   ("<=" is written in LaTeX as \sqsubseteq).

   [Jargon File]

   (1995-01-13)

   2.  Of a design, describes the valuable property that
   it can all be apprehended at once in one's head.  This
   generally means the thing created from the design can be used
   with greater facility and fewer errors than an equivalent tool
   that is not compact.  Compactness does not imply triviality or
   lack of power; for example, C is compact and Fortran is
   not, but C is more powerful than Fortran.  Designs become
   non-compact through accreting features and cruft that
   don't merge cleanly into the overall design scheme (thus, some
   fans of Classic C maintain that ANSI C is no longer
   compact).

   (2008-10-13)