{"entities":{"Q4829444":{"pageid":6859024,"ns":120,"title":"Item:Q4829444","lastrevid":74980293,"modified":"2026-04-15T01:31:45Z","type":"item","id":"Q4829444","labels":{"en":{"language":"en","value":"Partially ordered sets with projections and their topology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2120142"}},"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":"Q4829444$798B1E18-3901-4F21-B04B-AD4459681454","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ca87a7eec1d9cc5185c10a4bc559284343cee68","datavalue":{"value":{"text":"Partially ordered sets with projections and their topology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4829444$5320445F-0A65-4144-8EB5-CD4C717CF94F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d94f8a446335727bf6d644d0b4ff494be1da52f9","datavalue":{"value":"1057.54024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4829444$6EB5D450-42E9-4B6D-911A-6A9D9ED5DA92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e92241f7e57a6284b744bb584a30526f7af4c8d8","datavalue":{"value":{"entity-type":"item","numeric-id":4829443,"id":"Q4829443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4829444$81229380-1041-40F6-B243-5B60AB45F057","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"afa03ab01b4c1ce38df15f175678493d103d96c8","datavalue":{"value":{"entity-type":"item","numeric-id":2760587,"id":"Q2760587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4829444$FCA1BCB4-E8AF-4C34-9787-54203E8F8B94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e178366185acdafcc5b61ed93923a8827b9be7cb","datavalue":{"value":{"time":"+2004-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4829444$20D704A7-B7EC-4B63-85E3-D5CC65E07A1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a4adfd1495741c3ae42c4a3e43864e2bac2969f","datavalue":{"value":"http://journals.impan.gov.pl/dm/Cont/dm428-0.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q4829444$1AF9B47C-64A9-49A9-858A-B27E894297D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae96d749ed729f5c3d9ba235c923f35a27a788f5","datavalue":{"value":"54F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4829444$202F13B2-D211-4CA7-8FF7-D4B6F0C89BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"752abe8b003b6f8f5061b539a8ad0dcffa6c0d03","datavalue":{"value":"54E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4829444$C96B6487-0706-49CE-BC53-96B035230D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4829444$64AD0DD6-3027-4D96-8D09-35CA885FC7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c4ad1785471f430c5505937f552960d16df2055","datavalue":{"value":"06F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4829444$DEC4C2AB-26A7-4970-B23E-2459EA8BE14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4829444$C817A37E-1B3F-4B00-BF02-419FAC2D8EA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29380eac63e05749341f0eb846981d16844e35d5","datavalue":{"value":"2120142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4829444$F2D6CEC2-3C01-4BD6-A314-C91AF0E14823","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60b0ea9c6af46da5085ecf7aa41e0f869f03fcfe","datavalue":{"value":"poset with approximating mappings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829444$B44A3605-C16E-4A9C-B455-1C9044ACE329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea67cb46fa8ada27b3d0b5baffbe549be12e3bce","datavalue":{"value":"poset with projections","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829444$D6855ABB-A8EF-41FD-9E17-CE54FFDB9D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c469f203bd5434efc40c3d9a4d11a5d9e8d47cd","datavalue":{"value":"continuous poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829444$C246A911-7DE9-42C6-B1B6-DA1979B98F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ac7b1b34118416801021163d611067a4b9ceab6","datavalue":{"value":"algebraic poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829444$5F5C1E53-1F43-4730-A27A-42FEEA6339E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2fc83be1c0db58a80a137ab61a01da0208c7fba","datavalue":{"value":"dcpo","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829444$1DB5E56B-5638-4A15-BEFE-85D3A0F81F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fa45caf041200db10a7a835d1e24bc079753456","datavalue":{"value":"FS-domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829444$CD1A8A7A-380A-4735-B260-55E7B3FD444C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e3c650319a29b037cf884f8e6a8ea4e9227cc1a","datavalue":{"value":"bifinite domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829444$F843D6A9-B3E4-4212-8CA9-CF66C19A86BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6678dd4273d48f023acd08ea7fe8e59aedbe440","datavalue":{"value":"P-domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829444$0F5E677E-BBD1-44DD-A857-7A2E3D88245D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b5a4623d7a5950afde95d693538ed070673ca75","datavalue":{"value":"F-uniformity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829444$C766DC7D-B9A8-4368-B9FD-2F71F4BFEC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a652eb7c639a62a484213e6965bf1a1131ab42bb","datavalue":{"value":"F-topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829444$1D5DC4F4-09E0-4C69-9833-33BBE1143785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22162dbd630aaa1547c98684aee2cffe4ad75e3c","datavalue":{"value":"pop uniformity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829444$93035B82-F09F-446D-A46E-98DC352CCFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ca0876cd61284d8951a7117cc26ecdf65564dff","datavalue":{"value":"pop topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829444$4407383E-FA87-4394-A99F-B3890B74A4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cab1de71bec24401ffd8cf8f310215a7696b154","datavalue":{"value":"convergence of monotone nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829444$B5E8204D-FE08-4D03-8A22-C61F893DBD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59402f9a6d3b97c23864340b0da1f3fc4181831d","datavalue":{"value":"pop homomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829444$AC21DFB2-7E98-4FC5-9441-36728DB3B741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3be02f3de362e4a75f96d308989c05aa1caeb890","datavalue":{"value":"non-expansive map","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829444$34252D5C-2FB6-4D5B-AE1C-AC1A21BA9840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c87f5a8cf22007b9c36bf5f461676129bbe48ca","datavalue":{"value":"weight function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829444$A4FE3128-D5A9-4A8F-81D8-121E4274926A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2c121b69deecbecad46a17d0e2d94bae14f79e5","datavalue":{"value":"cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829444$3A215885-7E43-4D90-B655-F25DDCB5F624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63fedffc1e9c8ce6d1721cda3605fc28319d4ee6","datavalue":{"value":"model for the untyped \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829444$CAC43FB3-FFCC-4EA9-ABA3-C5ABCA57650D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72ef6a66e061bbc7dd6ade2617b271802479a0e0","datavalue":{"value":"pop completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829444$2C88E463-988C-4B3C-A4BB-E64C34BEE569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"622c66e3eaaf8f7ab1a18671697805046770a339","datavalue":{"value":"domain completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829444$3A151CA1-448D-484E-BFB7-53D4D8CAC58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"048dab55940c5c060a72a2bbad5f3dabbb5c4f18","datavalue":{"value":"Mazurkiewicz traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829444$2B6A8417-A884-4D58-909E-BBB86E5E6F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0201a381bcd481c6398bdb7eba24d250876bedc3","datavalue":{"value":"real traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829444$A8707C1E-A243-4685-B475-A369EB37E520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f056f0f0a0bafe4e683e4451fa33123cd7ca6e89","datavalue":{"value":"\\(\\alpha\\)-traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829444$E4C80302-4681-4F3F-BC9D-2A1C0A2755E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"879437768c284d40e9f9ac2144bf6bae20b89010","datavalue":{"value":"\\(\\delta\\)-traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829444$B9F13C22-D1E3-4AAF-92ED-F165571AD6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4e346fdf36957d7884b5bb4486840901b76a2fa","datavalue":{"value":"topology of traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4829444$61E184E1-E507-4BA1-96B7-630DA95ED5A2","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":"Q4829444$7245428D-D94D-442C-A5B6-BFD2BDD004EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"502dbea7bf9d34174776e00a6becf19ac460609d","datavalue":{"value":"W2083934113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4829444$2EEAE09B-504B-4F03-B460-3CCF7477F914","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f2361619c3e584ca2266e16236da09e35908e77","datavalue":{"value":"10.4064/DM428-0-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4829444$D43D15A0-531C-40FC-AA78-E3ECE727CCAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9f9a3947e8b0152fb6acd424f6e70c49399db87","datavalue":{"value":{"entity-type":"item","numeric-id":3994391,"id":"Q3994391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33ca34c3b6ef38e744229be2ad8d38beb3c05296","datavalue":{"value":{"amount":"+0.9151016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4829444$AAB7908A-AC8F-49D7-8ECA-ED3EFE53F389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9962337fe12ac1a6f6f04ba634a7438b88ad938","datavalue":{"value":{"entity-type":"item","numeric-id":2640874,"id":"Q2640874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6125eb46cec41c0f1ad52967fce2e1b465cdcf8a","datavalue":{"value":{"amount":"+0.9141194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4829444$D79439A4-3FD0-4D3D-9E40-B610DC85598E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b847155cf0da7d364a1c33cdb3bda83300ee9ee","datavalue":{"value":{"entity-type":"item","numeric-id":3918645,"id":"Q3918645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dfd30ed971e506ccc29cef19d6795f7b8d19df4","datavalue":{"value":{"amount":"+0.9136876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4829444$320D5ACE-AEC1-4C54-923B-88938E630832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5bc22d6130356ed0222d31f7fd043884720b0ee","datavalue":{"value":{"entity-type":"item","numeric-id":3607148,"id":"Q3607148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa0291196e859fc1fb5cdce47cf8ec5a9a2d1c2e","datavalue":{"value":{"amount":"+0.9090037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4829444$0B6EB54D-679D-434C-A394-0B67E768CFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"268fce9f73f132bc7f06844152b215dce32d24c1","datavalue":{"value":{"entity-type":"item","numeric-id":3027061,"id":"Q3027061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60d43f8724747b917392a57f3b8fc84ee18aa0c1","datavalue":{"value":{"amount":"+0.9087186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4829444$946C60C5-D93D-4C1B-BAF6-992CEEA2A71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"486542d09e053ae1eae48ab571ef9d7bf788135f","datavalue":{"value":{"entity-type":"item","numeric-id":3270646,"id":"Q3270646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ada1b0261cfabd8d756a081d2c264c1d8d7f871c","datavalue":{"value":{"amount":"+0.905609","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4829444$4C14C7CB-2A8E-4B59-BBB6-A67498D6FBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"931bd1943c4576e97f7e24510816ab6e86c2c608","datavalue":{"value":{"entity-type":"item","numeric-id":1096918,"id":"Q1096918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f846b71cfe5559b189b1ab2bbac96c1a811cacc","datavalue":{"value":{"amount":"+0.90532434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4829444$A5E8A57B-929C-4326-9A64-A273E436300E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86ce950292771954ee93e5599f9349732dd2bb55","datavalue":{"value":{"entity-type":"item","numeric-id":4261090,"id":"Q4261090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef12e4bab0233dcc437e629ff4b38a42d3c5dd3","datavalue":{"value":{"amount":"+0.90527153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4829444$27924094-8149-452F-8B49-FA3D25AAF98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7f816d0f02f4fae4274db37aed33b90eaa61278","datavalue":{"value":{"entity-type":"item","numeric-id":4347677,"id":"Q4347677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45cee301945b3637f6040c51e7ad4a1edf7a6900","datavalue":{"value":{"amount":"+0.9028191","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4829444$6CC48798-0B77-4B58-A983-E0813ABF7CAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partially ordered sets with projections and their topology","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partially_ordered_sets_with_projections_and_their_topology"}}}}}