; TeX output 2004.08.02:1512 KE&:9color push Blackhtml:color push gray 0 color pop html:G color pop3ڍ:9|&html: html:.Tvkcolor push Black color popZVg8PSfile="logo129.eps" llx=0 lly=0 urx=99 ury=16 rwi=2880 7獍Gcolor push Black color popMN q cmbx12CounZting
T=ransitiveRelations.s獒 ÐXQ ff cmr12G9otz/Pfeier ˕Department/ofMathematicss%National/UniversityofIreland,Galway $Ireland 2html:color push cmyk 0 1 0 0߆T ff cmtt12goetz.pfeiffer@nuigalway.ie html: color pop vcolor push Black color pop r"V
3
cmbx10AbstractMƍlcolor push Black color pop-̻K`y
3
cmr10In"ordertocoun!tpartialordersonasetof"9
3
eurm10npMoints,=Aitseemsnecessarytoexplicitly
_constructdarepresen!tativedofev!eryisomorphismtypMe. Whilethatisdone,onemight_asXw!elldeterminetheirautomorphismgroups.Inthisnoteitisshownhowseveral_other ct!ypMesofbinaryrelationscanbecoun!ted,;1basedonanexplicitenumerationofthe_partialordersandtheirautomorphismgroups.Appartialorderisatransitiv!e,&re
exive,_andan!tisymmetricbinaryrelation. HerewedeterminethenumbMerofquasi-orders_q)%n
3
eufm10(n)tQ(ornitetopMologiesortransitiv!edigraphsorre
exivetransitiverelations),the_n!umbMer#Zof\soft"orderss(t)(oran!tisymmetrictransitiverelations),BandthenumbMer_ofdtransitiv!erelationst(n)onnpMointsintermsofnumbMersofpartialorderswitha_giv!enfautomorphismgroup.6ghtml: html:6N G cmbx121(Inutro =duction.b#XQ cmr12A7@ cmti12pffartial!order8onaset8"9
eurm10XwithnelemenrtsisabinaryrelationonXwhichistransitive, re
exivrexandantisymmetric.
rPWVedenotebyPR>%n
eufm10(n)thenumbSerofdierentpartialordersonnlabSelledpoinrts(sequenceghtml:color push cmyk 0 1 0 0A001035뀉 z ,ю, html: color pop),
/andbyp(n)thenumbSerofpartialordersonn0munlabSelledpoinrts(sequenceghtml:color push cmyk 0 1 0 0A000112뀉 z ,ю, html: color pop).
0InthisnoteweassumethenumbSersPR(n)andp(n).ԹtobSearvXailable. dFVorp(n)weevenassumetheavXailabilityofanexplicitlist,oranenrumerationQproScedureliketheonesdevelopSedbyHeitzigandReinhold[html:color push cmyk 0 1 0 05 html: color pop],p_ormorerecentlybry:BrinkmannandMcKay[!html:color push cmyk 0 1 0 02 html: color pop].FVromthelatterarticle,_p(n)isknownforn9!",
cmsy1016:andPR(n)isknorwnfornUR18.A%\labSelled"[binaryrelationonXisasetofpairsRX:X.If[theactualnamesoftheWpSoinrtsbeingrelatedareofnoimportancewretalkabout\unlabelled"binaryrelations.TVecrhnically,}these`&areorbitsoftheactionofthesymmetricgroupBR6