compact (redirected from compact car)

compact¹

1. Logic (of a relation) having the property that for any pair of elements such that a is related to b, there is some element c such that a is related to c and c to b, as less than on the rational numbers.

2. US and Canadian (of a car) small and economical

3. US and Canadian a comparatively small and economical car

4. Metallurgy a mass of metal prepared for sintering by cold-pressing a metal powder

---

compact²

Law an official contract or agreement

---

compact [′käm‚pakt]

(metallurgy)

A briquette made by the compression of metal powder, with or without the addition of nonmetallic constituents.

---

compact - 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).