The Zero Group \(0\) is defined as the group containing only the neutral element.
Date: nil
Author: Anton Zakrewski
Created: 2024-10-13 So 15:23