Difference between revisions of "Interior algebra"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) (Created page with "In abstract algebra, an '''interior algebra''' is a certain type of algebraic structure that encodes the idea of the topological interior of a...") |
Karl Jones (Talk | contribs) |
||
| Line 1: | Line 1: | ||
| − | In [[abstract algebra]], an '''interior algebra''' is a certain type of [[algebraic structure]] that encodes the idea of the [[Interior (topology)|topological interior]] of a set. | + | In [[abstract algebra]], an '''interior algebra''' is a certain type of [[algebraic structure]] that encodes the idea of the [[Interior (topology)|topological interior]] of a [[Set (mathematics)|set]]. |
== Description == | == Description == | ||
| Line 14: | Line 14: | ||
* [[Modal algebra]] | * [[Modal algebra]] | ||
* [[Modal logic]] | * [[Modal logic]] | ||
| + | * [[Set (mathematics)]] | ||
* [[Variety (universal algebra)]] | * [[Variety (universal algebra)]] | ||
Latest revision as of 09:51, 14 October 2016
In abstract algebra, an interior algebra is a certain type of algebraic structure that encodes the idea of the topological interior of a set.
Description
Interior algebras are to topology and the modal logic S4 what Boolean algebras are to set theory and ordinary propositional calculus.
Interior algebras form a variety of modal algebras.
See also
- Abstract algebra
- Algebraic structure
- Interior (topology)
- Modal algebra
- Modal logic
- Set (mathematics)
- Variety (universal algebra)
External links
- Interior algebra @ Wikipedia
