Let be a Ring containing .
Define: