Sea (P,≤) un conjunto parcialmente ordenado y sea S un subconjunto de P . Una cota superior de S es un elemento c ∈ P tal que s ≤ c para todo s ∈ S. Una cota inferior de S es un elemento d ∈ P tal que d ≤ s para todo s ∈ S. Una cota superior (inferior) c de S se denomina el supremo (́ınfimo) de S si es menor o igual (mayor o igual) que cualquier otra cota superior (cota inferior) de S. Si un subconjunto S de P admite supremo (́ınfimo) lo denotaremos por sup S (inf S). En el caso que S tenga dos elementos, x, y, el supremo (́ınfimo) de S será denotado por x ∨ y (x ∧ y).
设(P，≤)是部分有序集，设S是P的子集。S是一个项目的高度高于c∈P, S≤一切S∈S . S是一个高度较低的d∈P d≤S为所有S∈S .高度大于(小于S称为最高(c)́ıS nfimo)如果是低于或等于(或更大的)任何其他外套比(S .外套lower)如果P S支持最高子集(́ınfimo)我为sup denotaremos S (inf S S)。在这种情况下有两个元素,x, y,最高(́ıS将标志x∨nfimo)和(x∧)。
{"title":"Álgebras de Boole","authors":"Roman Sikorski, A. Diego","doi":"10.2307/j.ctv1m0kgm3.15","DOIUrl":"https://doi.org/10.2307/j.ctv1m0kgm3.15","url":null,"abstract":"Sea (P,≤) un conjunto parcialmente ordenado y sea S un subconjunto de P . Una cota superior de S es un elemento c ∈ P tal que s ≤ c para todo s ∈ S. Una cota inferior de S es un elemento d ∈ P tal que d ≤ s para todo s ∈ S. Una cota superior (inferior) c de S se denomina el supremo (́ınfimo) de S si es menor o igual (mayor o igual) que cualquier otra cota superior (cota inferior) de S. Si un subconjunto S de P admite supremo (́ınfimo) lo denotaremos por sup S (inf S). En el caso que S tenga dos elementos, x, y, el supremo (́ınfimo) de S será denotado por x ∨ y (x ∧ y).","PeriodicalId":402409,"journal":{"name":"Lógica matemática","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127718663","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：