Unit Ring

UnitRingβ€…β€ŠAβ€…β€ŠβŠ—β€…β€ŠβŠ•β€…β€ŠIβ€…β€ŠU\textbf{UnitRing} \; A \; \otimes \; \oplus \; I \; U

Ringβ€…β€ŠAβ€…β€ŠβŠ—β€…β€ŠβŠ•β€…β€ŠI\textbf{Ring} \; A \; \otimes \; \oplus \; I

RightUnitβ€…β€ŠAβ€…β€ŠβŠ—β€…β€ŠU\textbf{RightUnit} \; A \; \otimes \; U


pred UnitRing(A: set univ, tms,pls: univ->univ->univ, I,U: univ){
  Ring[A,tms,pls,I]

  RightUnit[A,tms,U]
}

Last updated