hasDefinitionComponent

P164776
predicate

Indicates that something includes a specific part or element as a component of its overall definition.

Sample triples (3)

Subject Object
Euclidean domains
surface form: Euclidean domain
Euclidean function
Euclidean domains
surface form: Euclidean domain
division with remainder
Euclidean domains
surface form: Euclidean domain
well‑founded measure on nonzero elements