Such a homomorphism Δ is called a comultiplication if it satisfies certain axioms.

While fence design allows many freedoms, there are certain axioms.

For example, a group is an algebraic object consisting of a set together with a single binary operation, satisfying certain axioms.

John Nash proposed that a solution should satisfy certain axioms:

In mathematics, modular lattices are partially ordered sets satisfying certain axioms.

If the collection of all covering families satisfies certain axioms, then we say that they form a Grothendieck pretopology.

This approach also adds certain axioms about equality to the deductive system employed.

The association G is a functor (mapping between categories satisfying certain axioms).

They are usually introduced as sets with certain axioms.

America has a common culture, but it does not follow from certain unchallengeable axioms.