{"entities":{"Q789525":{"pageid":791373,"ns":120,"title":"Item:Q789525","lastrevid":64355352,"modified":"2026-04-11T19:17:53Z","type":"item","id":"Q789525","labels":{"en":{"language":"en","value":"Independence of axioms for biordered sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3845843"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789525$B5BC900E-A3B8-4680-BFD8-B449D27E45B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c083b512e76efa0697d0785e2c5de7986b4489b5","datavalue":{"value":{"text":"Independence of axioms for biordered sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q789525$D821FC67-D0D2-4222-AD89-98D9AEC64AD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e225603f4172798d8f3070e6401f54e028cfbfc5","datavalue":{"value":"0533.20028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789525$A501CA6D-1AC5-4AB5-9DE8-A7D0DD72B472","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e054fcf4334a6224aabb7efac7f954b72e2fd42d","datavalue":{"value":"10.1007/BF02572487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789525$D590DF0C-6F24-4F29-93B2-D5D6012B2DF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca826104d8d15179ab94b761ab7a95a66c66b97e","datavalue":{"value":{"entity-type":"item","numeric-id":789523,"id":"Q789523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789525$7758EC9F-B6EB-46E9-B5BC-5405CB77FAB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789525$D8218641-3395-4DF2-8729-8FF832458451","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q789525$B8E2EA15-8673-46DC-9FC8-E53896586BE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f5b79b699356e6324066043bd76a3892ba9fbcd","datavalue":{"value":"https://eudml.org/doc/134653","type":"string"},"datatype":"url"},"type":"statement","id":"Q789525$B241AB9A-378D-4059-8B6A-078CE698A0B7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fb789442a1093c22a56ca97fdcf1d72137a5f475","datavalue":{"value":"Biordered sets were introduced by \\textit{K. S. S. Nambooripad} as an abstraction of the partial semigroup of idempotents of a semigroup [Mem. Am. Math. Soc. 224 (1979; Zbl 0457.20051]. Let X, Y be sets, \\(\\rho \\subseteq X\\times Y\\) and put \\(\\rho(y)=\\{x\\in X:\\quad x\\rho y\\}.\\) A partial algebra is defined to be a set E equipped with a partial binary operation. The set \\(\\{(e,f):\\quad ef\\quad exists\\quad in\\quad E\\}\\) is called the domain of this partial operation and is denoted by \\(D_ E\\). On E define \\(\\omega^ r=\\{(e,f):\\quad fe=e\\}, \\omega^{\\ell}=\\{e,f):\\quad ef=e\\}.\\) The author gives two new sets of axioms for a biordered set (examples show independence of each set of axioms). Let E be a partial algebra. Then E is a biordered set if and only if the following axioms and their duals hold.    (BS1) \\(\\omega^ r\\), \\(\\omega^{\\ell}\\) are quasiorders on E and \\(D_ E=(\\omega^ r\\cup \\omega^{\\ell})\\cup(\\omega^ r\\cup \\omega^{\\ell})^{-1}.\\)    (BS2) \\(e\\omega^ rf\\omega^ rg\\) implies \\(eg\\omega^ re\\) and \\((eg)f=ef.\\)    (BS3) If \\(e\\omega^{\\ell}f\\), \\(e,f\\in \\omega^ r(g)\\) then (fg)(eg) exists and \\((fg)(eg)=(fe)g.\\)    (BS4) If \\(e,f\\in \\omega^ r(g)\\) and \\(eg\\omega^{\\ell}fg\\) then there exists \\(e_ 1\\in \\omega^{\\ell}(f)\\cap \\omega^ r(g)\\) such that \\(e_ 1g=eg.\\)    Let M(e,f) denote the quasiordered set \\((\\omega^{\\ell}(e)\\cap \\omega^ r(f),\\prec)\\) where \\(\\prec\\) is defined by \\(g\\prec h\\) if and only if \\(eg\\omega^ reh\\) and \\(gf\\omega^{\\ell}hf\\). Then \\(S(e,f)=\\{h\\in M(e,f):\\quad g\\prec h\\quad for\\quad all\\quad g\\in M(e,f)\\}\\) is called the sandwich set of e and f. The second set of axioms given for a biordered set is selfdual.    (A1) \\(=\\) (BS1)    (A2) \\((e,f)\\in D_ E\\) implies \\((e,ef),(ef,f)\\in D_ E\\)    (A3) If ef, fg, e(fg) and (ef)g exist then \\(e(fg)=(ef)g.\\)    (A4) \\(If\\quad ef\\quad exists\\quad and\\quad if\\quad both\\quad e\\quad and\\quad f\\quad belong\\quad to\\quad either\\quad \\omega^ r(g)\\quad or\\quad \\omega^{\\ell}(g)\\quad then\\quad(geg)(gfg)\\quad exists\\quad and\\quad(geg)(gfg)=g(ef)g.\\)    (A5) If both e and f belong to \\(\\omega^ r(g)\\) or \\(\\omega^{\\ell}(g)\\) then \\(gS(e,f)g=S(geg,gfg)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q789525$BFECB510-A75C-4B15-9706-9C6E7D7CE168","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789525$7BF01EB6-4E52-43E2-81E4-9FFFA5751E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789525$D39D02B8-445B-410F-8E63-C2E4F34AE950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"88f26c5e5c8e9b1a1b9fcd1e726cfac3efaf2593","datavalue":{"value":"08A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789525$C4E9F76E-9CF5-422F-98B9-F25536482CFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52739301e24a281cdda9d24b1eb21ec124d25c7e","datavalue":{"value":"3845843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789525$B5746147-754D-4225-8D05-3D79BA98809F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db5d620c3abb008d346739266ee3839c88116992","datavalue":{"value":"Biordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q789525$223406E2-B5EF-4B56-869D-B0CF33846D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d417dc72b323efc6b5c4d9a0b4f43de46ffcfb","datavalue":{"value":"partial semigroup of idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q789525$4F7C9689-E2EC-47E6-AFA7-E67D2D3608CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdc5548f50aa50bea5fab3a4cd215d5680ad72a6","datavalue":{"value":"partial binary operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q789525$76CA694D-BC72-4861-AD1A-BD810BBBB64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9b1e23fdd462c5b13a4f6adc3682604d0ec6bd6","datavalue":{"value":"axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q789525$77F36D4A-0194-48AD-AC57-9703895772D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc714ed54e785f5af14d5a780f093efdc6078c3","datavalue":{"value":"sandwich set","type":"string"},"datatype":"string"},"type":"statement","id":"Q789525$9B1F0DFB-9E8F-4A66-B14C-06F75C9CBAC0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f79070c1bb7fbb15e7f3ce850622ae384774a7f4","datavalue":{"value":"Q107212518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789525$B4CCAA3A-4969-4D16-925D-7A7C11FF4CC1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"054529b5e09e7b9cb181f02f83c3b0d20bf30124","datavalue":{"value":{"entity-type":"item","numeric-id":444661,"id":"Q444661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789525$038B6A40-12DB-4492-905D-6B0B41543454","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789525$F7AB88FD-E9D9-48EC-A33A-C8E839DA6AA5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789525$AE00CBA3-33A6-446F-B810-4E164C6C0F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c3507d380d5e70ef950163a51e97064818a65c","datavalue":{"value":{"entity-type":"item","numeric-id":3889272,"id":"Q3889272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789525$9D2B3C5E-B7BC-4066-8A66-7D304962FC08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db1cd5a1839c5deca17a2d76746458afe78e920b","datavalue":{"value":{"entity-type":"item","numeric-id":3684316,"id":"Q3684316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deb6b36c0f1adabce3f9f693017a7cd8501249ca","datavalue":{"value":{"amount":"+0.8226550817489624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q789525$5DFE1885-AA3E-450F-ABFB-8EFC088B4762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ff97b62185e63fb66f36d6d4edb2c58d2ee6b5b","datavalue":{"value":{"entity-type":"item","numeric-id":3701650,"id":"Q3701650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf892bb9c6fd29339e74c99491c6bc9b1cff8995","datavalue":{"value":{"amount":"+0.8206559419631958","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q789525$67F212F5-52EF-4EED-AF80-0CD02E9C2A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f747046fec854cb8cac0055ec7fc50737aafec5","datavalue":{"value":{"entity-type":"item","numeric-id":1081704,"id":"Q1081704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e84e8efb2221dffbe01bc57cc447cb98356d5385","datavalue":{"value":{"amount":"+0.8015924692153931","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q789525$E453EC9E-FA85-44E4-A138-814DF2A5FCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9594c8ed1672a1091641e8c513453397b86fb67","datavalue":{"value":{"entity-type":"item","numeric-id":1337481,"id":"Q1337481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0a480b3ab3d960bdd4ccbfb490f2f3f26d60ef9","datavalue":{"value":{"amount":"+0.7951710820198059","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q789525$38FBD2E2-46FB-458B-8406-0804FC1DD941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54bf2010181b286de24fb192b52d5bf7f1da7b30","datavalue":{"value":{"entity-type":"item","numeric-id":3579919,"id":"Q3579919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9b50f862ce037f655ec07a5dfa3f1f5ce934395","datavalue":{"value":{"amount":"+0.7911643385887146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q789525$8D980CC6-B364-4439-BA53-623A42CD2337","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Independence of axioms for biordered sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Independence_of_axioms_for_biordered_sets"}}}}}