Right ideal#Definitions