{"entities":{"Q1272226":{"pageid":1282976,"ns":120,"title":"Item:Q1272226","lastrevid":67185780,"modified":"2026-04-12T15:54:40Z","type":"item","id":"Q1272226","labels":{"en":{"language":"en","value":"Weak relative pseudo-complements of closure operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1226552"}},"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":"Q1272226$2DD987F9-A574-4067-9E29-8216FAB78F54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b0698856229ee3f4fa3686275602e9c1733fff5","datavalue":{"value":{"text":"Weak relative pseudo-complements of closure operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1272226$3387ADD3-B82F-45A9-93BA-3E1497665EA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"633b4d88b1e64dc8cdfd0cb0d1118b834ccd96ad","datavalue":{"value":"0901.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272226$3B7E6959-F062-4118-B5AF-0C441F1B3056","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"702b5fa89b6b6d6b82ff9534b963d20b0f3f1a3d","datavalue":{"value":"10.1007/BF01236765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272226$B9D4B655-4053-45AB-BC91-5D4FA6787739","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272226$011D499A-76A4-4C73-920F-4F06A1EF4A55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddcf2cc5d9dca7413af18921ff9d977f276261fc","datavalue":{"value":{"time":"+1998-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1272226$09EFD4FB-A380-4D24-9D69-C71DDCB4A773","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3a0ed7760b1640cd79c7b951291800eccce07bc7","datavalue":{"value":"Let \\(\\mathcal L=\\langle L,\\leq ,\\wedge \\rangle \\) be a meet semilattice, \\(x\\), \\(y\\in L\\), \\(y\\leq x.\\) A weak relative pseudocomplement of \\(x\\) w.r.t. \\(y,\\) if it exists, is the unique element \\(\\operatorname {wr}(x,y)\\in L\\) s.t.    \\noindent {(i)} \\(x\\wedge \\big (\\operatorname {wr}(x,y)\\big)=y\\)    \\noindent {(ii)} for each \\(z\\in L,\\) if \\(x\\wedge z=y,\\) then \\(z\\leq \\operatorname {wr}(x,y).\\)    \\noindent This notion is strictly weaker than relative pseudocomplement and stronger than pseudocomplement. For a complete lattice \\(\\mathcal L\\) an upper closure operator on \\(\\mathcal L\\) is a mapping \\(\\rho \\: L\\to L\\) s.t. \\(x\\leq \\rho (x)\\), \\(\\rho \\big (\\rho (x)\\big)=\\rho (x)\\) and \\(x\\leq y\\Rightarrow \\rho (x) \\leq \\rho (y).\\) Now \\(\\rho \\) is called continuous if \\(\\rho (\\vee C)=\\vee \\rho (c)\\) for any chain \\(C\\) in \\(L.\\) The set \\(\\operatorname {uco} (\\mathcal L)\\) of all closure operators form a complete lattice with respect to the natural pointwise ordering \\(\\sqsubseteq .\\) The main result is the following Theorem: If \\(\\mathcal L\\) is a complete, meet-continuous lattice, then for all \\(\\rho \\), \\(\\eta \\in \\operatorname {uco} (\\mathcal L)\\) such that \\(\\eta \\sqsubseteq \\rho \\) and \\(\\eta \\) is continuous, there exists \\(\\operatorname {wr}(\\rho ,\\eta).\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272226$8D4D288B-F8E1-4D43-BBBA-968D5CED60A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272226$B1718FA2-8107-4FA8-8DF2-1AD4DDCBCA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272226$DCE6B823-9DA7-4A23-B1B0-4E4756106226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272226$B5524F66-A979-40F0-A7BB-753012DA83CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272226$ACED0BD8-9605-4AE8-9BA8-5EDC3BDF4487","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a074cd633aee50e5e84ab82aa17c0c9a2e3d8f1b","datavalue":{"value":"1226552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272226$139DCDF3-2853-4133-AEE4-0C1FB874C3BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc56f60d707de43cf2a8ab78f25eee323539a5f2","datavalue":{"value":"weak relative pseudocomplement upper closure operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272226$8E191A11-F882-4799-9E2A-03BF78E42BC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ffbc2222258f7a4fa78be49047dfe2a14b0df82","datavalue":{"value":{"entity-type":"item","numeric-id":511010,"id":"Q511010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272226$96605F5F-9C75-45FA-BC78-5B7B38B9EAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee728bcf2a6a691d2b429de3becc3dfd0edf5e0","datavalue":{"value":{"entity-type":"item","numeric-id":507370,"id":"Q507370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272226$94773B76-D403-4202-B926-42CCD11B373F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"210f06773da60a84f3e0c4f4d099d38fa9aee286","datavalue":{"value":{"entity-type":"item","numeric-id":453544,"id":"Q453544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272226$8E19AA70-7268-4E6A-AC16-39C73A3F68AE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272226$30BAA729-95AD-458E-999E-7B6E36CEE8D4","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":"Q1272226$94A3E5C5-393D-4660-B8AB-AAE32F17E2AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac064edfee9ed430c37f6923863f50c51c8aa60","datavalue":{"value":{"entity-type":"item","numeric-id":5829077,"id":"Q5829077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272226$9B00EBE9-E80A-40DF-A6C4-D03CF3BF20F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272226$281BCBC7-03AF-4BA3-91DC-E3272D00CC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd866c219df4d6c4a4ec6410e30df3399c7a223","datavalue":{"value":{"entity-type":"item","numeric-id":3294261,"id":"Q3294261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272226$A45B76BA-A2A9-43B6-B109-25E8697BF879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2b8faf21da8c943557c9250edd801b67320a04","datavalue":{"value":{"entity-type":"item","numeric-id":3294260,"id":"Q3294260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272226$2CF12B25-689E-4AF1-80E0-E7731B4746A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac87486393337ba57cd50c29e444a0be9afc4d90","datavalue":{"value":{"entity-type":"item","numeric-id":1598820,"id":"Q1598820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae7948a97349d9c3edcbd2c5d0444c6b037794e2","datavalue":{"value":{"amount":"+0.8138415217399597","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":"Q1272226$488381AE-B922-45C7-9E53-A849FF623593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ccf043a5fd140038deaa32750401a0efde02e6","datavalue":{"value":{"entity-type":"item","numeric-id":3118233,"id":"Q3118233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faeea5730925263ab1f7abb5af30fbb3df6876c9","datavalue":{"value":{"amount":"+0.7915428280830383","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":"Q1272226$0A9BB9F5-4136-4FB3-AD0D-4786E2F8A9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80da7d4b81e3f9ddcc0812c94efa976a7c6cf30b","datavalue":{"value":{"entity-type":"item","numeric-id":1765959,"id":"Q1765959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfcb5d89455662ed9bb5634da49e2c11f739ada6","datavalue":{"value":{"amount":"+0.759142279624939","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":"Q1272226$EC05EB33-777D-4881-96AF-3CC5761AC72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"365f814b3c7d749fcf68d011ecc1671b7186b441","datavalue":{"value":{"entity-type":"item","numeric-id":4685974,"id":"Q4685974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d0d8cec229b7a81ade422db8a3fc86af5018194","datavalue":{"value":{"amount":"+0.7558581233024597","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":"Q1272226$61802CFC-2907-4E78-A45F-3DAC6EF70C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd44ce8a8be93653103f580392476455bd062835","datavalue":{"value":{"entity-type":"item","numeric-id":3571878,"id":"Q3571878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd10d538b970930bdd17f7a458b3b364b99d5063","datavalue":{"value":{"amount":"+0.7509629726409912","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":"Q1272226$4593EDAB-425D-46BC-8150-A4FCD145BE48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weak relative pseudo-complements of closure operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weak_relative_pseudo-complements_of_closure_operators"}}}}}