Ring RING Subring SRING Ring Homomorphism RINGH Ordered Ring ORING Direct Product RDP Binomial Theorem BI Ring of Functions FRING Zero Divisor ZD Domain DOM Integral Domain IDOM Characteristic CHAR