{"entities":{"Q6486911":{"pageid":14065679,"ns":120,"title":"Item:Q6486911","lastrevid":56029846,"modified":"2026-03-02T14:42:34Z","type":"item","id":"Q6486911","labels":{"en":{"language":"en","value":"Reflexive index of a family of sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6370577"}},"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":"Q6486911$86F7A72F-4CEE-4C06-A8CC-A876411C2540","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb40ded22be29abca3cf2272cb0752e56a78a20a","datavalue":{"value":{"text":"Reflexive index of a family of sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6486911$DFD5C584-3061-4345-89AE-389A982C352F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P159","hash":"973357284f7a9fa38c8d24f76643670d1a9d24bd","datavalue":{"value":{"text":"Reflexive Index of a Family of Sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6486911$BFD4A024-3346-4A15-A716-42B85B29673E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a55de871f30e201424912f984a39295fed8b27b","datavalue":{"value":"1302.54053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486911$3ABABDC4-E840-4DD5-B64E-60579BDFBC7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2879e3e3ee84eeca3778658797f13f2e5056d734","datavalue":{"value":{"entity-type":"item","numeric-id":171475,"id":"Q171475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6486911$4A3D1DFA-D527-42AB-91B4-B7C7AAED2DB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"44efb2600e96bbea2d10ad18afec812c845be091","datavalue":{"value":{"entity-type":"item","numeric-id":6486896,"id":"Q6486896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6486911$6C77DF22-B9E1-432D-9525-58C6DEA3C26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P200","hash":"38176ce8e27e8ce44f764823dfb91452c8126390","datavalue":{"value":{"entity-type":"item","numeric-id":2930216,"id":"Q2930216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6486911$F9C6432F-D3AA-4257-B691-DF29F9C8C823","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"571e53cbb15d75452f617e21f5b8152eb21d73c2","datavalue":{"value":{"time":"+2014-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6486911$F2CF5C04-157E-45D6-B761-D3DDF25AF05F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4a0dd6daecc320aefcd03b30389bb92b5c9d97d1","datavalue":{"value":"Let \\(X\\) be a set, let \\(\\mathrm{Sub}(X)\\) be the set of all subsets of \\(X\\), and let \\(\\mathrm{End}(X)\\) be the set of all mappings \\(f: X\\to X\\). For \\(\\mathcal{A}\\subseteq \\mathrm{Sub}(X)\\) and \\(\\mathcal{F}\\subseteq \\mathrm{End}(X)\\), define NEWLINE\\begin{align*}NEWLINE\\mathrm{Alg}(\\mathcal{A})&=\\{f\\in \\mathrm{End}(X): f(A)\\subseteq A\\text{ for all } A\\in \\mathcal{A}\\}, \\\\NEWLINE\\mathrm{Lat}(\\mathcal{F})&=\\{A\\in \\mathrm{Sub}(X): f(A)\\subseteq A \\text{ for all } f\\in \\mathcal{F}\\}. NEWLINE\\end{align*}NEWLINE\\(\\mathcal{A}\\subseteq\\mathrm{Sub}(X)\\) is said to be \\textit{reflexive} if \\(\\mathcal{A}=\\mathrm{Lat}(\\mathrm{Alg}(\\mathcal{A})).\\) Define the \\textit{reflexive index} \\(k_X(\\mathcal{A})\\) of \\(\\mathcal{A}\\) by NEWLINE\\[NEWLINE\\inf\\{|\\mathcal{F}|: \\mathcal{F}\\subseteq \\mathrm{End}(X), \\hat{\\mathcal{A}}=\\mathrm{Lat}(\\mathcal{F})\\} NEWLINE\\]NEWLINEwhere \\(\\hat{\\mathcal{A}}=\\mathrm{Lat}(\\mathrm{Alg}(\\mathcal{A}))\\).NEWLINENEWLINEThe main theorem states that for a finite or countably infinite set \\(X\\), the reflexive index \\(k_X(\\mathcal{A})\\) of any finite \\(\\mathcal{A}\\) is also finite. Reflexive indices of concrete examples are considered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6486911$F278E30F-2015-4487-98A8-8B891F382A48","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"75a8c9a4300d07cadd77aac4c7e841fb88a9c766","datavalue":{"value":{"entity-type":"item","numeric-id":591027,"id":"Q591027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6486911$04CC2473-17C4-406A-8528-C8EE761ACB89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6173ea36b107088bd504219ebdce25253aa39d7","datavalue":{"value":"54C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486911$5AA45E71-AF6C-471F-8F7C-EF00ABC8D481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1ddfb12deda3f6c88e3bb7a40285845e5786fa13","datavalue":{"value":"54C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486911$925D9077-C3D5-4470-8E63-6C9A910CA791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5c2adfaab0f9778d4b3dbe319e57b1c592c0f884","datavalue":{"value":"54B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486911$44423C79-747A-428A-BAEE-DEFAF1AA1AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a7c57a22810c1fc3e6e7843b0557275bc4a46fc","datavalue":{"value":"06B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486911$A109C099-06E4-4E44-81C5-1650C659EF5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8156b52167d6cff6983b24ae9cd118625b6b0855","datavalue":{"value":"6370577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486911$F76042A3-7D8D-4843-8B38-A6B0265BA69C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a0e982481a601e3f31354c834bcde2f227e9880","datavalue":{"value":"reflexive families","type":"string"},"datatype":"string"},"type":"statement","id":"Q6486911$B2FE10DE-6944-4398-B1F7-DA95C6BD4E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef14a70a6450ddfc4b8fea82870088920a6231b5","datavalue":{"value":"reflexive index","type":"string"},"datatype":"string"},"type":"statement","id":"Q6486911$12DA569F-460B-4A8C-8D20-7091558A654F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d335576e9a71b171ffecae8894d08fe1afe64102","datavalue":{"value":"endomapping","type":"string"},"datatype":"string"},"type":"statement","id":"Q6486911$0666BE85-6A20-4B80-9BC1-111A46CFECC9","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":"Q6486911$10E11427-D956-4E7A-84EB-2D9B6BEB4676","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29852c9c6ce7dece60f341185cd75c200549359f","datavalue":{"value":"10.5666/KMJ.2014.54.2.263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486911$A4DD6A03-D148-4F46-A48E-7ACD724422FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dad60bb1d7290843b727cfa2786f5ac70d01467c","datavalue":{"value":{"entity-type":"item","numeric-id":2925690,"id":"Q2925690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eec00b9b6bf160eda14d6ce2735f5933c26e242","datavalue":{"value":{"amount":"+0.8224409222602844","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":"Q6486911$4F3BD313-A1B9-434E-8F1E-F78B06F45176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"484d170e99363fde216f80aa909b4b85232630a8","datavalue":{"value":{"entity-type":"item","numeric-id":5495467,"id":"Q5495467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1e070f9285af9435df1e47f500a8d7c81df7e41","datavalue":{"value":{"amount":"+0.8056867718696594","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":"Q6486911$B0D05E51-44CC-4D91-83B6-67B2E3B7235E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fa14fa14cbfd00fc80651aa085ceaaade3c716e","datavalue":{"value":{"entity-type":"item","numeric-id":2015076,"id":"Q2015076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ad8cb9a3d6212b96761d8980ca061063f5f8af4","datavalue":{"value":{"amount":"+0.7930726408958435","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":"Q6486911$78EFF702-AB0B-447B-9D68-E3D6B7D1D472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1dc59677c9e6bf358155f8b4083942616455b2","datavalue":{"value":{"entity-type":"item","numeric-id":401088,"id":"Q401088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82b7cbb7cd07808a985a7d12bdeff63fbab2636d","datavalue":{"value":{"amount":"+0.7855610251426697","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":"Q6486911$D5F320CB-1DEA-424A-A77D-705DF262ACEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df96e01aff1a433bdbc18a76eb900dbc2534161a","datavalue":{"value":{"entity-type":"item","numeric-id":3083849,"id":"Q3083849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6e74c829dbade513629fbb968d0e24b55f278ac","datavalue":{"value":{"amount":"+0.7846373319625854","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":"Q6486911$1A577D5E-8140-4B30-8C8D-B091BB03C429","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reflexive index of a family of sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reflexive_index_of_a_family_of_sets"}}}}}