近環
near-ring
near-ring in nLab