compactness property
1Compactness theorem — In mathematical logic, the compactness theorem states that a set of first order sentences has a model if and only if every finite subset of it has a model. This theorem is an important tool in model theory, as it provides a useful method for… …
2compactness — See compactly. * * * ▪ mathematics in mathematics, property of some topological spaces (a generalization of Euclidean space) that has its main use in the study of functions defined on such spaces. An open covering of a space (or set) is a… …
3compactness — noun 1. the spatial property of being crowded together • Syn: ↑concentration, ↑density, ↑denseness, ↑tightness • Ant: ↑distribution (for: ↑concentration) …
4Finite intersection property — In general topology, the finite intersection property is a property of a collection of subsets of a set X . A collection has this property if the intersection over any finite subcollection of the collection is nonempty.DefinitionLet X be a set… …
5Hereditary property — In mathematics, a hereditary property is a property of an object, that inherits to all its subobjects, where the term subobject depends on the context. These properties are particularly considered in topology and graph theory. Contents 1 In… …
6Topological property — In topology and related areas of mathematics a topological property or topological invariant is a property of a topological space which is invariant under homeomorphisms. That is, a property of spaces is a topological property if whenever a space …
7Uniform property — In the mathematical field of topology a uniform property or uniform invariant is a property of a uniform space which is invariant under uniform isomorphisms.Since uniform spaces come are topological spaces and uniform isomorphisms are… …
8sequential compactness — noun The property of a metric space that every sequence has a convergent subsequence …
9Compact space — Compactness redirects here. For the concept in first order logic, see compactness theorem. In mathematics, specifically general topology and metric topology, a compact space is an abstract mathematical space whose topology has the compactness… …
10Strongly compact cardinal — In mathematical set theory, a strongly compact cardinal is a certain kind of large cardinal number; their existence can neither be proven nor disproven from the standard axioms of set theory.A cardinal kappa; is strongly compact if and only if… …
