Similar to 点付き集合

Vector space

Magma (algebra)

Monoid

Jacobi identity

Finitely generated abelian group

Bimodule

Isotopy of loops