injective definition

injective means “one formula per constant” whereas “schematically injective” means “one axiom scheme per constant,” with the result that schematically injective constant specifications are not injective.

Related to injective

  • Injection means the injection of carbon dioxide streams into the storage site;

  • Injection tool means a device used for controlled subsurface injection of radioactive tracer material.

  • Dose is a generic term that means absorbed dose, dose equivalent, effective dose equivalent, committed dose equivalent, committed effective dose equivalent, total organ dose equivalent, or total effective dose equivalent. For purposes of these regulations, "radiation dose" is an equivalent term.

  • Injection well means a well into which fluids are injected. (See also "underground injection.")

  • Reactivation means the process whereby an inactive licensee obtains a current license.