Let $R$ be a ring. An ideal $I$ of $R$ is a subset that is both a left ideal and a right ideal.
Wikidata ID: Q44649