Relational systems, laws of composition Algebraic structures mathematics