Abstract
We now turn to the study of more specialized laws. As was seen in Section 1.4, special properties of binary relations such as symmetry or functionality can often be expressed by means of equations in the language of relation algebras, and it is natural to formulate and study laws that apply to elements satisfying abstract versions of these properties. In the first three sections below, we look at abstract versions of properties associated with symmetric relations, transitive relations, and equivalence relations. In subsequent sections, we look at abstract versions of properties associated with various types of ideal elements, with rectangles, and with functions.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Givant, S. (2017). Special elements. In: Introduction to Relation Algebras. Springer, Cham. https://doi.org/10.1007/978-3-319-65235-1_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-65235-1_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-65234-4
Online ISBN: 978-3-319-65235-1
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)