subsumarea

Subsumarea, or subsumption, is a relation used to describe how one term, concept, or set fits under a more general category. It denotes a hierarchical or taxonomic connection in which the extension of the subordinate term is contained within the extension of the superordinate term. Put simply, if every instance of B is also an instance of A, then A subsumes B and B is subsumed by A. This relation underpins classifications, generalization, and inheritance across disciplines.

In logic and mathematics, subsumarea expresses the inclusion of one class within another. In a taxonomy or ontology, a broader class (for example, Animal) subsumes a narrower class (for example, Mammal). The relation is typically directional and asymmetrical: A subsumes B, but B does not necessarily subsume A.

In legal contexts, subsumarea factelor under a norm or statute refers to the process of applying a rule to the facts of a case to determine whether the facts fall within the scope of that rule. This is central to doctrinal analysis, case classification, and the application of law to evidence.

In linguistics, information science, and artificial intelligence, subsumption describes hypernym–hyponym relationships and the inheritance of properties or rules within an ontology or knowledge base. Description logics and related formalisms formalize subsumption as a hierarchy constraint, enabling reasoning about subclass relations and automatic classification.

The term is used in Romanian primarily in legal and technical contexts, aligning with the English concept of subsumption. Overall, subsumarea captures the idea of moving from specific instances to a more general category through inclusion.