ByNobleID
    Soft ordered Abel-Grassmans groupoid (AG-groupoid) | NobleID