{"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}