laws

kernel

leftIdentity

Rules

leftInverse

Rules