Etymology
Today it means: An idempotent semiring. Full definition →
From di- + -oid?
Etymology from Wiktionary, CC BY-SA 4.0.