OMdoc example
<definition id="c6s1p4_Th2_def_monoid" for="c6s1p4_monoid" type="simple"> <metadata> <Title xmlns="http://purl.org/DC" xml:lang="en">Definition of a monoid</Title <extradata><depends-on> <ref theory="c6s1p1_Th3" name="structure" /> <ref theory="c6s1p3_Th1" name="semi-group" /> <ref theory="c6s1p3_Th2" name="unit" /> </depends-on></extradata> </metadata> <CMP xml:lang="en" format="omtext"> A <ref xref="c6s1p1_Th3_def_structure">structure</ref> <OMOBJ xmlns="http://www.openmath.org/OpenMath"> <OMA> <OMS cd="elementary" name="ordered-triple" /> <OMV name="M" /> <OMS cd="c6s1p4_Th2" name="times" /> <OMV name="e" /> </OMA> </OMOBJ> in which <OMOBJ xmlns="http://www.openmath.org/OpenMath"> <OMA> <OMS cd="elementary" name="ordered-pair" /> <OMV name="M" /> <OMS cd="c6s1p4_Th2" name="times" /> </OMA> </OMOBJ> is a <ref xref="c6s1p3_Th1_def_semi-group">semi-group</ref> with <ref xref="c6s1p3_Th2_def_unit">unit</ref> <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="e" /></OMOBJ> is called a monoid. </CMP> <FMP><OMOBJ> <OMA><OMS cd="logic1" name="equivalent" /> <OMA><OMS cd="c6s1p4_Th1" name="monoid" /> <OMA> <OMS cd="elementary" name="ordered-triple" /> <OMV name="M" /> <OMS cd="c6s1p4_Th2" name="times" /> <OMV name="e" /> </OMA> </OMA> <OMA><OMS cd="logic1" name="and" /> <OMA><OMS cd="c6s1p3_Th1" name="semi-group" /> <OMA> <OMS cd="elementary" name="ordered-pair" /> <OMV name="M" /> <OMS cd="c6s1p4_Th2" name="times" /> </OMA> <OMA> <OMS cd="c6s1p3_Th2" name="unit" /> <OMV name="e" /> <OMS cd="c6s1p4_Th2" name="times" /> </OMA> </OMA> </OMA> </OMOBJ> </FMP> </definition>
|