a Precisely agreeing with a standard, a fact, or the truth; perfectly conforming; neither exceeding nor falling short in any respect.
a (algebra|of a sequence of groups connected by homomorphisms) Such that the kernel of one homomorphism is the image of the preceding one.