This module defines prealgebraic structures and their laws.