An instance of Algebraic_structure_traits<T> is a model of AlgebraicStructureTraits, where T is the associated type.
#include <CGAL/Algebraic_structure_traits.h>