{"entities":{"Q1430525":{"pageid":1441265,"ns":120,"title":"Item:Q1430525","lastrevid":67424298,"modified":"2026-04-12T17:35:00Z","type":"item","id":"Q1430525","labels":{"en":{"language":"en","value":"Symmetric operations on equivalence relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2067285"}},"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":"Q1430525$4080FCE2-8BE6-4022-A4D6-B837E46E2C5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8f568a49cd57eb89b1c4638e644cee88a392be7","datavalue":{"value":{"text":"Symmetric operations on equivalence relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1430525$A1AE269D-5324-4615-958B-E7E64A2F158D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f920e2da9335260187a02dd65c42722520e74024","datavalue":{"value":"1051.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430525$075F9DBA-6A4E-4C64-8346-7D0747149246","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"39d06ce04274d1c1f445b86d8c8878ae21604984","datavalue":{"value":{"entity-type":"item","numeric-id":1293427,"id":"Q1293427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430525$9C4F8DF3-B5D7-4D92-9C2E-B152DE113DF0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"710cc084d2ed0d09beceb5d2d7c52611268d6193","datavalue":{"value":{"entity-type":"item","numeric-id":159225,"id":"Q159225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430525$5ADC55DA-3EC3-432A-8C74-E2A25373ACE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ba9d052c1c742a2c2f9206a1b4282a8f44ef61e","datavalue":{"value":{"time":"+2004-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1430525$36E74EB9-203D-465E-ABB8-3762574FB8B6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8c906398779ca61b93ef7e754efc8269fd180aa6","datavalue":{"value":"In the following let \\({\\mathfrak A}\\) be a finite set. Let \\(R,T\\) be two equivalence relations on \\({\\mathfrak A}\\). Then the author defines \\(S(R,T): =\\{RT(a) \\mid a\\in {\\mathfrak A}\\}\\), where \\(RT(a)=\\{x\\in{\\mathfrak A}\\mid xRTa\\}\\), and where \\(xRTa\\) means: \\(\\exists b\\in{\\mathfrak A}\\) with \\(xR bTa\\). Then \\(R\\square T\\) is defined to be the equivalence relation generated by \\(S(R,T)\\). The last concept [see \\textit{\u00d8. Ore}, ``Theory of equivalence relations'', Duke Math. J. 9, 573--627 (1942; Zbl 0060.06201)] refers to the definition: Let \\(S\\subset{\\mathfrak P}({\\mathfrak A})\\) be a family of subsets \\(S_i\\), \\(i\\in I\\), of \\({\\mathfrak A}\\) whose union is \\({\\mathfrak A}\\). Then the partition generated by \\(S\\) is \\(P(S)=\\{(\\bigcap\\{S_j\\mid j\\in J\\} \\setminus \\bigcup\\{S_k\\mid k\\in J^c\\})\\mid J\\subset I\\}\\), where \\(J^c\\) is the complement of \\(J\\) in \\(I\\). The operation \\(*\\) of \\textit{T. Britz}, \\textit{M. Mainetti}, and \\textit{L. Pezzoli} [``Some operations on the family of equivalence relations'', in: H. Crapo et al. (eds.), Algebraic combinatorics and computer science, Milano: Springer-Verlag, 445--459 (2001; Zbl 0971.03046)] is now characterized in Theorem 3.8: If \\(R\\) and \\(T\\) are equivalence relations on a set \\({\\mathfrak A}\\), then \\(R*T= (R\\square T) \\wedge (T\\square R)\\). In Section 4 the operation \\(*\\) is generalized (from \\(n=2\\) to arbitrary integers \\(n\\geq 2)\\). Section 5 discussess another binary commutative operation \\(*^w_n\\) for positive integers \\(n\\). Section 6 correlates these operations with the concept of ``type'' of pairs of equivalence relations, and Section 7 gives some applications. Examples and pictures illustrate the text.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430525$F8FB3F35-411E-4975-9802-88F1A5630955","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c80e484e125b4b2e6f1eb4b1b0abd66d7cb4aba7","datavalue":{"value":{"entity-type":"item","numeric-id":587966,"id":"Q587966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430525$40D50AA7-557E-466E-AAD1-E3B7C4F9E48C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430525$27FED717-A7F5-491A-8488-12BA51E1D1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430525$9C30A983-9FB8-422C-BF62-80BCB9E4A7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"16a41880afbd8630e6acc78be050f90ea5608911","datavalue":{"value":"05A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430525$32177307-E322-40EC-B68D-BBD944513141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"510d3c71187dca01ea55ca1a3a98ebbed84a7e74","datavalue":{"value":"91D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430525$EF1A1D72-9479-42DF-9F32-2EC48AF54F6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9d0b680c22b2ea545ef516b8f33a2b7c9aae3d0","datavalue":{"value":"2067285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430525$47B7CEA2-C798-4E1A-8F4A-9290088978EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eba62acf57ec78b269eb7e25509a9035a38a5f82","datavalue":{"value":"symmetric operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430525$8895C79B-7B5C-422B-ACA5-187FBCE57794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"280c8f9b5cab95a2a15b895bdb10674b8006f46a","datavalue":{"value":"equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430525$E9C041D1-5D32-4804-9CE6-659132AC95FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51df554145b60d94c69864664e49b02e152530ef","datavalue":{"value":"partitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430525$FE82B772-A242-40A7-BC0B-4B86895A6AC7","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":"Q1430525$75BF27E3-1CC1-496E-B1B9-AB2C6948AC5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d189fe4b76fb19d5b3b1be8eaac58e48cea8bbdc","datavalue":{"value":"https://doi.org/10.1007/s00026-003-0189-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1430525$B7E981BE-B786-4745-98AF-3E9F6E30377A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"357fa32b1b92dae0f90178c15ff95074962dc261","datavalue":{"value":"W2136868716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430525$2E3C1740-6AE2-4633-B917-B0C23BB4BC47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3a1cfb1560008740f3ce0141a895ef12735d298","datavalue":{"value":"10.1007/S00026-003-0189-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430525$F3BF0AC6-DC58-4525-9AAB-10A49E5BEEA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2394be64a36905ceec140b19cc9c9dc5065ce21","datavalue":{"value":{"entity-type":"item","numeric-id":3373522,"id":"Q3373522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"724ffb0f6cdc5194ec657d0fdf8c54df20d563b8","datavalue":{"value":{"amount":"+0.7474677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430525$EFC85DE9-0AD9-4202-AEE4-CEBD804D8036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b957707452232ce7987a0060ec4a499da39590a","datavalue":{"value":{"entity-type":"item","numeric-id":4807494,"id":"Q4807494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4763bfa2bede0ade7b5a200727bde958972ad87c","datavalue":{"value":{"amount":"+0.73841655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430525$0A32D967-4CDE-4E1F-BCAE-90D2F8551D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5faec3537f24deb6b7a19f17f50a9aa2b4abc4fc","datavalue":{"value":{"entity-type":"item","numeric-id":2016066,"id":"Q2016066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1d23029eb89d47158ceb15b178e075feae326ea","datavalue":{"value":{"amount":"+0.7230848","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430525$B4BCFB86-EF37-4137-8D04-28392C9ADEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3462e0971e8b92474ff70c669edbef6fc243f62a","datavalue":{"value":{"entity-type":"item","numeric-id":3798719,"id":"Q3798719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b304f6679bfb9e4d044c63f92063df80af8981d","datavalue":{"value":{"amount":"+0.712932","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430525$7FD5F075-E75C-4138-855F-2DA2B10DF537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"132d61e11f5ece16cb19681961aace6b47a99600","datavalue":{"value":{"entity-type":"item","numeric-id":5467434,"id":"Q5467434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bef898a348c6e276b0d61924d70084bcd994157","datavalue":{"value":{"amount":"+0.7082666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430525$0A763CE3-C3F0-44D6-BD10-0AB126339371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b16de4e5d310b7950bca082a29dbfe84e90bf50","datavalue":{"value":{"entity-type":"item","numeric-id":3470515,"id":"Q3470515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3de4ec7b5456d10e6108dc6c68c3782c64073cd","datavalue":{"value":{"amount":"+0.7078883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430525$B35AC184-4D0F-4056-B0D7-B7472124FC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cac5620f02c1df51277a9111a7819a81984f9e51","datavalue":{"value":{"entity-type":"item","numeric-id":3322108,"id":"Q3322108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce72ba8600657c41a653c2d9e71d120631ff9d18","datavalue":{"value":{"amount":"+0.7020569","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430525$3EC5D111-CAFC-43C0-B4B0-7DBE1DF16EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10dc70a7e84e7bab6bdf08ebddd92da6e35fa082","datavalue":{"value":{"entity-type":"item","numeric-id":2025142,"id":"Q2025142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e422a3458fa212eeed0dc20a0b99db11e692853f","datavalue":{"value":{"amount":"+0.70117134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430525$3F31CFF5-982D-4EDA-A6F0-8F0F96CD7245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b06f16ac233c350e86b366615dada4fe5699fea0","datavalue":{"value":{"entity-type":"item","numeric-id":3197874,"id":"Q3197874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ee8e9dfaccd19dbfe4bea4d9ff04e7f87ad3202","datavalue":{"value":{"amount":"+0.70049083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430525$3975DBAE-E577-4593-BC31-B33D3B56FEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54be38826b64fedf51c906ad411b2ae0d42bbe4e","datavalue":{"value":{"entity-type":"item","numeric-id":4678967,"id":"Q4678967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97578e183ae26f2a62b0a804d5d0179d7cdf054d","datavalue":{"value":{"amount":"+0.6980624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1430525$3F80D669-44F4-4F25-A6D9-ABC4900BAEE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symmetric operations on equivalence relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symmetric_operations_on_equivalence_relations"}}}}}