Abstract
This paper presents a metatheorem with the following property: Given a proven axiom-free lemma, which interrelates some of the elementary properties of a binary relation, the metatheorem mechanically transforms this lemma into its uniquely corresponding complementary lemma. Therefore, the metatheorem nearly doubles our knowledge about the elementary properties of binary relations, for application to statistical decision theory. At present we do not know whether there exists a nontrivial axiom-free lemma that is its own complementary lemma.
Similar content being viewed by others
Bibliography
Burros, R. H., ‘Complementary Properties of Binary Relations’, Theory and Decision 6 (1975), 177–183.
Fishburn, P. C., Mathematics of Decision Theory, Mouton, The Hague, 1972.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Burros, R.H. Complementary lemmas in the theory of binary relations. Theor Decis 8, 299–303 (1977). https://doi.org/10.1007/BF00133449
Issue Date:
DOI: https://doi.org/10.1007/BF00133449