< back to index
An ideal is a subset II of a ring RR which satisfies the following: ∀a∈I,r∈R:ar∈I\forall a \in I, r \in R: ar \in I. We denote this as I⊲RI \lhd R.