Definition:Idempotent Algebraic Structure