Let be a Ring and let be a sequence in that is eventually , i.e. for all for some fixed Then we define Note that this is well defined for any such .