Binary relation | logic and mathematics

<!doctype html> <html lang="en" class="topic-desktop ui-ie7 ui-ie"> <head prefix="og: https://ogp.me/ns# fb: https://ogp.me/ns/fb#"> <meta charset="utf-8"> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /> <meta name="viewport" content="width=device-width, initial-scale=1.0" /> <link rel="dns-prefetch" href="https://cdn.britannica.com/mendel-resources/3-133"> <link rel="preconnect" href="https://cdn.britannica.com/mendel-resources/3-133"> <link rel="preload" as="script" href="https://www.googletagservices.com/tag/js/gpt.js" /> <link rel="icon" href="/favicon.png" /> <meta name="description" content="Other articles where binary relation is discussed: formal logic: Classification of dyadic relations: Consider the closed wff (∀x)(∀y)(ϕxy ⊃ ϕyx), which means that, whenever the relation ϕ holds between one object and a second, it also holds between that second object and the first. This expression is not valid, since it is true for some relations…" /> <meta name="keywords" content="binary relation, encyclopedia, encyclopeadia, britannica, article" /> <link rel="canonical" href="https://www.britannica.com/topic/binary-relation" /> <title>Binary relation | logic and mathematics | Britannica</title>  <script> !function(){"use strict";function e(e){const t=e.match(/((?=([a-z0-9._!#$%+^&*()[\]<>-]+))\2@[a-z0-9._-]+\.[a-z0-9._-]+)/gi);return t?t[0]:""}function t(t){return e(a(t.toLowerCase()))}function a(e){return e.replace(/\s/g,"")}async function n(e){const t={sha256Hash:"",sha1Hash:""};if(!("msCrypto"in window)&&"https:"===location.protocol&&"crypto"in window&&"TextEncoder"in window){const a=(new TextEncoder).encode(e),[n,c]=await Promise.all([s("SHA-256",a),s("SHA-1",a)]);t.sha256Hash=n,t.sha1Hash=c}return t}async function s(e,t){const a=await crypto.subtle.digest(e,t);return Array.from(new Uint8Array(a)).map(e=>("00"+e.toString(16)).slice(-2)).join("")}function c(e){let t=!0;return Object.keys(e).forEach(a=>{0===e[a].length&&(t=!1)}),t}function i(e,t,a){e.splice(t,1);const n="?"+e.join("&")+a.hash;history.replaceState(null,"",n)}var o={checkEmail:e,validateEmail:t,trimInput:a,hashEmail:n,hasHashes:c,removeEmailAndReplaceHistory:i,detectEmails:async function(){const e=new URL(window.location.href),a=Array.from(e.searchParams.entries()).map(e=>`=`);let s,o;const r=["adt_eih","sh_kit"];if(a.forEach((e,t)=>{const a=decodeURIComponent(e),[n,c]=a.split("=");if("adt_ei"===n&&(s={value:c,index:t,emsrc:"url"}),r.includes(n)){o={value:c,index:t,emsrc:"sh_kit"===n?"urlhck":"urlh"}}}),s)t(s.value)&&n(s.value).then(e=>{if(c(e)){const t={value:e,created:Date.now()};localStorage.setItem("adt_ei",JSON.stringify(t)),localStorage.setItem("adt_emsrc",s.emsrc)}});else if(o){const e={value:{sha256Hash:o.value,sha1Hash:""},created:Date.now()};localStorage.setItem("adt_ei",JSON.stringify(e)),localStorage.setItem("adt_emsrc",o.emsrc)}s&&i(a,s.index,e),o&&i(a,o.index,e)},cb:"adthrive"};const{detectEmails:r,cb:l}=o;r()}(); </script> <script type="text/javascript" data-type="Init Mendel"> window.$UI = {}; window.Constants = {"LICENSE_URL": "/bps/license","DEFAULT_TEST_VERSION": "A","DEFAULT_STATE": "XX","QUIZ_URL": "/quiz","SPOTLIGHT_BROWSE_URL": "/stories/spotlight","CONTENT_TYPE_TEXT": "text/plain;charset=UTF-8","TOPIC_FACTS_DATA_URL": "/facts","QUIZ_BROWSE_IMAGE_QUIZZES": "images","TOPIC_MEDIA_PATH": "/images-videos","USER_PROFILE_URL": "/user","DEBUG_URL": "/debug","ONE_GOOD_FACT_URL": "/one-good-fact","ERROR_404_URL": "/error404","PROCON_CITED_IN_THE_NEWS_URL": "/procon/ProCon-in-the-News","PROCON_URL": "/procon","TOPIC_PAGE_CONTENT_AJAX_URL": "/topic-content/page","INFINITE_SCROLL_PREFIX_URL": "/scroll","TOPIC_TOP_QUESTION_BROWSE_URL": "/questions","CC_USD": "USD","domain": "britannica.com","PROCON_EDITOR_ID": "12941390","SURVEY_URL": "/survey","CATEGORY_BROWSE_URL": "/browse","STORY_BROWSE_URL": "/stories","COUNTRY_US": "US","OPEN_MEDIA_OVERLAY_PARAMETER": "/media","NEWSLETTER_SUBSCRIPTION_URL": "/newsletter-subscription","MAINTENANCE_ERROR_URL": "https://maintenance.eb.com","IMARS_EDITOR_ID": "12365882","PROFILE_EB_EDITOR_URL": "/editor","WEB_INF_RESOURCES_PATH": "WEB-INF/resources","AI_ABOUT_PAGE_URL": "/about-britannica-ai","TOPIC_ADDITIONAL_INFO_PATH": "/additional-info","SUDOKU_GAME_URL": "/games/sudoku","CC_INR": "INR","ARTICLE_PRINT_URL": "/print/article","FIRST_EDITION_URL": "/subscriber/firstedition","WW1_PORTAL_URL": "/discover/World-War-I","MENDEL_COOKIE": "__mendel","topicUrlClasses": "[topic, animal, art, biography, event, place, plant, science, sports, technology, procon, money]","DEMYSTIFIED_BROWSE_URL": "/stories/demystified","LIST_BROWSE_URL": "/list/browse","PROFILE_EXPERT_URL": "/contributor","ASSEMBLY_IMAGE_URL": "/image/assembly","DAY_IN_HISTORY_URL": "/on-this-day","DEFAULT_CURRENCY": "USD","CONTENT_TYPE_XML": "text/xml;charset=UTF-8","PORTAL_FINANCE_BROWSE_URL_PREFIX": "/money/browse","MONEY_IMARS_CATEGORY": "13000","AJAX_PREFIX_URL": "/ajax","TOPIC_BROWSE_URL": "/topic-browse","MARKETING_CONTENT": "/marketing-content","ENV_RUNTIME": "runtime","GALLERY_URL": "/gallery","topicUrlClassesList": "topic|animal|art|biography|event|place|plant|science|sports|technology|procon","CONTENT_TYPE_HTML": "text/html;charset=UTF-8","ENV_LOCAL": "override","MEDIA_OVERLAY_URL": "/media-overlay","CHATBOT_PAGE_URL": "/chatbot","NEWSLETTER_PAGE_URL": "/newsletters","ENV_DEV": "development","MEDIA_URL": "/media","TOPIC_TOP_QUESTION_URL": "/question","PORTAL_FINANCE_URL_PREFIX": "/money","PODCASTS_URL": "/podcasts","STAND_ALONE_VIDEO_URL": "/video","MORE_ON_THIS_DAY_URL": "/more-on-this-day","TOPIC_QUOTES_URL": "/quotes","SEARCH_PAGE_URL": "/search","PROCON_CLASS": "PROCON","KUSTOM_MENDEL_APPLICATION_ID": "1","TOPIC_CONTENT_AJAX_URL": "/topic-content/topic","ENV_BRANCH": "branch","ERROR_URL": "/error","MAIN_VERSION": "mainVersion","TOPIC_COLLECTION_URL": "/summary","LOGINBOX_URL": "/auth/loginbox","PROCON_DEBATE_TOPICS_URL": "/procon/Debate-Topics","ONE_GOOD_FACT_BROWSE_URL": "/one-good-fact/all-good-facts","QUIZ_BROWSE_URL": "/quiz/browse","BIO_BROWSE_URL": "/browse/biographies","LIST_URL": "/list","TIGHTROPE_QUIZ_URL": "/quiz/tightrope","ALPHA_BROWSE_URL": "/sitemap","CONTENT_TYPE_JSON": "application/json","DICTIONARY_URL": "/dictionary","COBRAND_IMAGE_URL": "/image/cobrand","PROCON_IN_THE_NEWS_URL": "/procon/pro-and-con-issues-in-the-news","PROCON_BROWSE_URL": "/procon","QUIZ_BROWSE_VOCAB_QUIZZES": "vocabulary-quizzes","SUBMISSION_URL": "/submission","EB_LOG_OUT": "/auth2/logout","ENV_PRODUCTION": "production","EXPLORE_PORTAL_URL": "/explore","TOPIC_AJAX_URL": "/ajax/topic","TOPIC_SUMMARY_BROWSE_URL": "/summaries","WTFACT_BROWSE_URL": "/stories/wtfact","VIDEO_CHANNEL_URL": "/videos","GALLERY_BROWSE_URL": "/gallery/browse","CACHE_URL": "/cache","PROCON_ABOUT_URL": "/procon/About-ProCon","COMPANION_BROWSE_URL": "/stories/companion","MEDIA_FOLDER": "/eb-media","SHOW_ALL_CONTRIBUTORS": "/additional-info#contributors","BRITANNICA_EDITORS_ID": "4419","ENV_CACHE_DISABLED": "mendelCache","CALCULATORS_BROWSE_URL": "/calculators","STORY_URL": "/story","DEFAULT_COUNTRY": "US","NAVBAR_URL": "/ajax/navbar","EB_LOGIN_URL": "/auth/eb-login","NEW_ARTICLES_URL": "/new-articles",}; window.CDN = "https://cdn.britannica.com"; window.CAM_SETTINGS_URL = "https://cam.britannica.com/settings"; window.CAM_LOGIN_URL = "https://cam.britannica.com/login"; window.CAM_SIGN_UP_URL = "https://cam.britannica.com/registration" window.Mendel = { "config" : { "domain": "britannica.com", "page": "Topic", "videoPlayerId": "UyMCoK2v", "sharedUrl": "https://www.britannica.com/topic/binary-relation", "amuselabsUrl": "https://cdn3.amuselabs.com", "resourcesPrefixUrl": "https://cdn.britannica.com/mendel-resources/3-133/[url]?v=3.133.9", "date": 20250217, "userInfo": { "type": "ANONYMOUS" ,"currency": "AUUS" ,"country": "SG" ,"state": "XX" ,"timezone": "Asia/Singapore" ,"bcomId": "3600855915568582576" ,"hasAds": true ,"testVersion": "D" ,"adsTestVersion": "C" ,"consumerId": "" ,"instId": "" ,"consumerUserName": "" ,"instUserName": "" ,"cognito": null }, "tvs":{ "r":[25,25,25,25], "a": [25,25,45,5]}, "isLoggedInAsUser": false, "isPhone": false, "isDesktop": true, "logoutUrl": "/auth2/logout", "selfServiceUrl": "https://myaccount.britannica.com", "cdnUrl": "https://cdn.britannica.com", "chatbotApi": "https://www.britannica.com/chat-api", "fetchOffset": 800, "mendelCookieName": "__mendel", "mendelCookie": {"surveyShown":false,"visitedTopicId":65560,"currentDate":20250217}, "autocompleteToSearchPage": false,"topicUrl": "https://www.britannica.com/topic/binary-relation", "freeTopicReason": "TOPIC_IS_INDEX_PAGE", "topicId": 65560, "template": "INDEX", "type": "INDEX", "hasToc": false, "chatbotApi": "https://www.britannica.com/chat-api", "showPreview": false, }, "GA": {"leg":"D","adLeg":"C","userType":"ANONYMOUS","pageType":"Topic","articleTemplateType":"INDEX","gisted":false,"pageNumber":1,"hasSummarizeButton":false,"hasAskButton":false} }; </script> <meta property="fb:app_id" content="1887621861548296"/ <meta name="twitter:card" content="summary_large_image" /> <meta name="twitter:site" content="@britannica" /> <meta name="twitter:image" content="https://cdn.britannica.com/mendel-resources/3-133/images/social/eb-thistle-social-image.jpg?v=3.133.9" /> <meta name="twitter:description" content="Other articles where binary relation is discussed: formal logic: Classification of dyadic relations: Consider the closed wff (∀x)(∀y)(ϕxy ⊃ ϕyx), which means that, whenever the relation ϕ holds between one object and a second, it also holds between that second object and the first. This expression is not valid, since it is true for some relations…"/> <meta property="og:type" content="ARTICLE"/> <meta property="og:title" content="Binary relation | logic and mathematics | Britannica"/> <meta property="og:description" content="Other articles where binary relation is discussed: formal logic: Classification of dyadic relations: Consider the closed wff (∀x)(∀y)(ϕxy ⊃ ϕyx), which means that, whenever the relation ϕ holds between one object and a second, it also holds between that second object and the first. This expression is not valid, since it is true for some relations…"/> <meta property="og:site_name" content="Encyclopedia Britannica" /> <meta property="og:url" content="https://www.britannica.com/topic/binary-relation"/> <meta property="og:image" content="https://cdn.britannica.com/mendel-resources/3-133/images/social/eb-thistle-social-image.jpg?v=3.133.9" /> <meta property="og:image:type" content="" /> <script type="text/javascript" data-type="init opengraph"> Mendel.openGraph = {"type":"ARTICLE","title":"Binary relation | logic and mathematics","description":"Other articles where binary relation is discussed: formal logic: Classification of dyadic relations: Consider the closed wff (∀x)(∀y)(ϕxy ⊃ ϕyx), which means that, whenever the relation ϕ holds between one object and a second, it also holds between that second object and the first. This expression is not valid, since it is true for some relations…","imageUrl":"https://cdn.britannica.com/mendel-resources/3-133/images/social/eb-thistle-social-image.jpg?v=3.133.9","pageUrl":"https://www.britannica.com/topic/binary-relation"}</script> <link rel="preconnect" href="https://fonts.googleapis.com/"> <link rel="dns-prefetch" href="https://fonts.googleapis.com/" > <link rel="stylesheet" href="https://fonts.googleapis.com/icon?family=Material+Icons"> <link href="https://cdn.britannica.com/mendel-resources/3-133/dist/vendor-bundle.css?v=3.133.9" rel="stylesheet" /> <link href="https://cdn.britannica.com/mendel-resources/3-133/dist/mendel-css.css?v=3.133.9" rel="stylesheet" /> <link href="https://cdn.britannica.com/mendel-resources/3-133/dist/topic-page.css?v=3.133.9" rel="stylesheet" /> <script type="text/javascript"> if (self !== top) { top.location = self.location; } </script> <script src="https://cdn.britannica.com/mendel-resources/3-133/js/at.js?v=3.133.9" async ></script> <script> dataLayer = []; </script> <script type="text/javascript">(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start': new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0], j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src= '//www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f); })(window,document,'script','dataLayer','GTM-5W6NC8'); </script> <script type="application/ld+json"> {"keywords":"binary relation","wordcount":0,"url":"https://www.britannica.com/topic/binary-relation","description":"Other articles where binary relation is discussed: formal logic: Classification of dyadic relations: Consider the closed wff (∀x)(∀y)(ϕxy ⊃ ϕyx), which means that, whenever the relation ϕ holds between one object and a second, it also holds between that second object and the first. This expression is not valid, since it is true for some relations…","publisher":{"name":"Encyclopedia Britannica","@type":"Organization","logo":{"url":"https://corporate.britannica.com/wp-content/themes/eb-corporate/_img/logo.png","@type":"ImageObject"}},"@context":"https://schema.org","@type":"article"} </script> </head> <body data-leg="D" class="new-topic topic-index first-page-true user-ANONYMOUS user-ads md-desktop leg-d b-ie">  <script>Mendel.config.adProvider='cafemedia';</script> <script data-no-optimize="1" data-cfasync="false"> (function(w, d) { w.adthrive = w.adthrive || {}; w.adthrive.cmd = w. adthrive.cmd || []; w.adthrive.plugin = 'adthrive-ads-manual'; w.adthrive.host = 'ads.adthrive.com';var s = d.createElement('script'); s.async = true; s.referrerpolicy='no-referrer-when-downgrade'; s.src = 'https://' + w.adthrive.host + '/sites/61575e5c934c481d714b3ca9/ads.min.js?referrer=' + w.encodeURIComponent(w.location.href) + '&cb=' + (Math.floor(Math.random() * 100) + 1); var n = d.getElementsByTagName('script')[0]; n.parentNode.insertBefore(s, n); })(window, document); </script> <div class="ie-warning d-flex align-items-center align-self-center justify-content-center site-alert bg-orange"> <div> You are using an <strong>outdated</strong> browser. Please <a class="text-white text-underscore" href="https://browsehappy.com/">upgrade your browser</a> to improve your experience and security. </div> </div> <script id="json-navbar-info" type="application/json"> {"topSectionLinks":[{"title":"Ask the Chatbot","url":"/chatbot","navbarId":"CHATBOT"},{"title":"Games & Quizzes","url":"/quiz/browse","navbarId":"QUIZZES"},{"title":"History & Society","url":"/History-Society","navbarId":"HISTORY"},{"title":"Science & Tech","url":"/Science-Tech","navbarId":"SCIENCE"},{"title":"Biographies","url":"/Biographies","navbarId":"BIOS"},{"title":"Animals & Nature","url":"/Animals-Nature","navbarId":"ANIMALS"},{"title":"Geography & Travel","url":"/Geography-Travel","navbarId":"GEOGRAPHY"},{"title":"Arts & Culture","url":"/Arts-Culture","navbarId":"ART"},{"title":"ProCon","url":"/procon","navbarId":"PROCON"},{"title":"Money","url":"/money","navbarId":"MONEY"},{"title":"Videos","url":"/videos","navbarId":"VIDEOS"}]} </script> <script id="json-hamburger-menu" type="application/json"> {"britannicaMenu1":[{"title":"Home","url":"/"},{"title":"History & Society","url":"/History-Society"},{"title":"Science & Tech","url":"/Science-Tech"},{"title":"Biographies","url":"/Biographies"},{"title":"Animals & Nature","url":"/Animals-Nature"},{"title":"Geography & Travel","url":"/Geography-Travel"},{"title":"Arts & Culture","url":"/Arts-Culture"},{"title":"ProCon","url":"/procon"},{"title":"Money","url":"/money"}],"britannicaMenu2":[{"title":"Games & Quizzes","url":"/quiz/browse"},{"title":"Videos","url":"/videos"},{"title":"On This Day","url":"/on-this-day"},{"title":"One Good Fact","url":"/one-good-fact"},{"title":"Dictionary","url":"/dictionary"},{"title":"New Articles","url":"/new-articles"}],"browseByCategory":[{"title":{"id":5,"title":"History & Society","url":"/History-Society"},"links":[{"title":"Lifestyles & Social Issues","url":"/browse/Lifestyles-Social-Issues"},{"title":"Philosophy & Religion","url":"/browse/Philosophy-Religion"},{"title":"Politics, Law & Government","url":"/browse/Politics-Law-Government"},{"title":"World History","url":"/browse/World-History"}]},{"title":{"id":6,"title":"Science & Tech","url":"/Science-Tech"},"links":[{"title":"Health & Medicine","url":"/browse/Health-Medicine"},{"title":"Science","url":"/browse/Science"},{"title":"Technology","url":"/browse/Technology"}]},{"title":{"id":3,"title":"Biographies","url":"/Biographies"},"links":[{"title":"Browse Biographies","url":"/browse/biographies"}]},{"title":{"id":1,"title":"Animals & Nature","url":"/Animals-Nature"},"links":[{"title":"Birds, Reptiles & Other Vertebrates","url":"/browse/Birds-Reptiles-Vertebrates"},{"title":"Bugs, Mollusks & Other Invertebrates","url":"/browse/Bugs-Mollusks-Invertebrates"},{"title":"Environment","url":"/browse/Environment"},{"title":"Fossils & Geologic Time","url":"/browse/Fossil-Geologic-Time"},{"title":"Mammals","url":"/browse/Mammals"},{"title":"Plants","url":"/browse/Plants"}]},{"title":{"id":4,"title":"Geography & Travel","url":"/Geography-Travel"},"links":[{"title":"Geography & Travel","url":"/browse/Geography-Travel"}]},{"title":{"id":2,"title":"Arts & Culture","url":"/Arts-Culture"},"links":[{"title":"Entertainment & Pop Culture","url":"/browse/Entertainment-Pop-Culture"},{"title":"Literature","url":"/browse/Literature"},{"title":"Sports & Recreation","url":"/browse/Sports-Recreation"},{"title":"Visual Arts","url":"/browse/Visual-Arts"}]}],"browseByFeature":[{"title":"Companions","url":"/stories/companion"},{"title":"Demystified","url":"/stories/demystified"},{"title":"Image Galleries","url":"/gallery/browse"},{"title":"Lists","url":"/list/browse"},{"title":"Podcasts","url":"/podcasts"},{"title":"Spotlight","url":"/stories/spotlight"},{"title":"Summaries","url":"/summary"},{"title":"The Forum","url":"/stories/the-forum"},{"title":"Top Questions","url":"/question"},{"title":"#WTFact","url":"/stories/wtfact"}],"moreFromBritannica":[{"title":"Britannica Kids","url":"https://kids.britannica.com/","newTab":true}],"menuType":"DEFAULT"} </script> <header id="header" class="bg-navy-dark"> <div class="global-nav-top-bar"> <div class="grid gx-0 h-100 justify-content-between align-items-center container-lg mx-auto p-0 position-relative"> <div class="d-flex align-items-center"> <button class="d-flex align-items-center justify-self-start js-toggle js-toggle-hamburger btn btn-link link-white btn-sm rounded-0 p-10"> <div class="hamburger-tooltip"> <em class="material-icons d-inline-block font-24" id="nav-toggle" data-icon="menu"></em> </div> <em class="material-icons d-inline-block font-24 global-nav-search-icon" id="nav-search-icon" data-icon="search" ></em> </button> <a href="/" class="d-flex align-items-center justify-content-center ml-10"> <img loading="lazy" src="https://cdn.britannica.com/mendel/eb-logo/MendelNewThistleLogo.png" alt="Encyclopedia Britannica" class="global-nav-logo global-nav-logo-left" /> </a> <div class="global-nav-top-search-bar global-nav-top-search-container global-nav-search-container" id="global-nav-top-search-bar"> <form method="get" action="/search" id="global-nav-search" class="md-search-form m-0 global-nav-search-bar-small"> <div class="search-box position-relative col-100"> <label class="sr-only" for="global-nav-search-query">Search Britannica</label> <input name="query" id="global-nav-search-query" placeholder="Search Britannica..." class="form-control form-control-lg rounded-lg font-16 search-query pl-20 pr-70 shadow-sm" maxlength="200" autocomplete="off" aria-label="Search Britannica" /> <button class="search-reset-btn btn btn-link px-10 position-absolute top-0 h-100 d-none" type="reset"> <em class="material-icons" data-icon="close"></em> </button> <button class="search-submit btn btn-link text-blue px-10 position-absolute top-0 right-0 h-100" type="submit" disabled> <span class="sr-only">Click here to search</span> <em class="material-icons search-icon" data-icon="search"></em> </button> </div> </form> </div> </div> <a href="/" class="d-flex align-items-center justify-content-center"> <img loading="lazy" src="https://cdn.britannica.com/mendel/eb-logo/MendelNewThistleLogo.png" alt="Encyclopedia Britannica" class="global-nav-center global-nav-logo non-homepage-logo" /> </a> <form method="get" action="/search" id="global-nav-search" class="md-search-form m-0 global-nav-search-bar-small global-nav-center search global-nav-center-search-container"> <div class="search-box position-relative col-100"> <label class="sr-only" for="global-nav-search-query">Search Britannica</label> <input name="query" id="global-nav-search-query" placeholder="Search Britannica..." class="form-control form-control-lg rounded-lg font-16 search-query pl-20 pr-70 shadow-sm" maxlength="200" autocomplete="off" aria-label="Search Britannica" /> <button class="search-reset-btn btn btn-link px-10 position-absolute top-0 h-100 d-none" type="reset"> <em class="material-icons" data-icon="close"></em> </button> <button class="search-submit btn btn-link text-blue px-10 position-absolute top-0 right-0 h-100" type="submit" disabled> <span class="sr-only">Click here to search</span> <em class="material-icons search-icon" data-icon="search"></em> </button> </div> </form> <div class="col-35 col-sm-auto text-right order-3 mr-lg-15 align-items-center d-flex justify-content-end"> <div class="d-none d-md-inline-block"> <SPAN class="marketing-HEADER_SUBSCRIPTION_DESKTOP2 marketing-content" data-marketing-id="HEADER_SUBSCRIPTION_DESKTOP2"><a href="https://premium.britannica.com/premium-membership/?utm_source=premium&utm_medium=global-nav&utm_campaign=evergreen-cap" class="subscribe-link btn btn-sm btn-orange py-5 mr-10" target="_blank" rel="noopener"> SUBSCRIBE </a></SPAN></div> <div class="d-inline-block d-md-none mr-5 mr-sm-10"> <SPAN class="marketing-HEADER_SUBSCRIPTION_MOBILE marketing-content" data-marketing-id="HEADER_SUBSCRIPTION_MOBILE"><a href="https://premium.britannica.com/premium-membership/?utm_source=premium&utm_medium=global-nav-mobile&utm_campaign=evergreen" class="subscribe-link btn btn-xs btn-orange p-5" target="_blank" rel="noopener"> SUBSCRIBE </a></SPAN></div> <button class="js-toggle-user-dropdown js-toggle btn btn-sm btn-link link-white rounded-0 px-md-15 pl-5 pr-5"> <span class="d-none d-md-inline-block mr-5">Login</span> <em class="material-icons d-inline-block d-md-none font-16 font-sm-20" data-icon="account_circle"></em> <div class="d-none dropdown-menu-subscription-link">https://premium.britannica.com/premium-membership/?utm_source=premium&utm_medium=nav-login-box&utm_campaign=evergreen</div> <em class="material-icons inactive-icon d-inline-block font-18" data-icon="keyboard_arrow_down"></em> <em class="material-icons active-icon d-inline-block font-18" data-icon="keyboard_arrow_up"></em> </button> </div> </div> </div> <div class="d-none hamburger-menu-subscription-link"><DIV class="marketing-HAMBURGER_MENU_CTA marketing-content" data-marketing-id="HAMBURGER_MENU_CTA"><a href="https://premium.britannica.com/premium-membership/?utm_source=premium&utm_medium=hamburger-menu&utm_campaign=evergreen" class="subscribe-link btn btn-sm btn-orange py-5" target="_blank"> SUBSCRIBE </a></DIV></div> <div id="global-nav-react"> <div class="d-none"> <ul> <li><a href="/">Home</a></li> <li><a href="/History-Society">History & Society</a></li> <li><a href="/Science-Tech">Science & Tech</a></li> <li><a href="/Biographies">Biographies</a></li> <li><a href="/Animals-Nature">Animals & Nature</a></li> <li><a href="/Geography-Travel">Geography & Travel</a></li> <li><a href="/Arts-Culture">Arts & Culture</a></li> <li><a href="/procon">ProCon</a></li> <li><a href="/money">Money</a></li> </ul> <ul> <li><a href="/quiz/browse">Games & Quizzes</a></li> <li><a href="/videos">Videos</a></li> <li><a href="/on-this-day">On This Day</a></li> <li><a href="/one-good-fact">One Good Fact</a></li> <li><a href="/dictionary">Dictionary</a></li> <li><a href="/new-articles">New Articles</a></li> </ul> <a href="/History-Society">History & Society</a> <ul> <li><a href="/browse/Lifestyles-Social-Issues">Lifestyles & Social Issues</a></li> <li><a href="/browse/Philosophy-Religion">Philosophy & Religion</a></li> <li><a href="/browse/Politics-Law-Government">Politics, Law & Government</a></li> <li><a href="/browse/World-History">World History</a></li> </ul> <a href="/Science-Tech">Science & Tech</a> <ul> <li><a href="/browse/Health-Medicine">Health & Medicine</a></li> <li><a href="/browse/Science">Science</a></li> <li><a href="/browse/Technology">Technology</a></li> </ul> <a href="/Biographies">Biographies</a> <ul> <li><a href="/browse/biographies">Browse Biographies</a></li> </ul> <a href="/Animals-Nature">Animals & Nature</a> <ul> <li><a href="/browse/Birds-Reptiles-Vertebrates">Birds, Reptiles & Other Vertebrates</a></li> <li><a href="/browse/Bugs-Mollusks-Invertebrates">Bugs, Mollusks & Other Invertebrates</a></li> <li><a href="/browse/Environment">Environment</a></li> <li><a href="/browse/Fossil-Geologic-Time">Fossils & Geologic Time</a></li> <li><a href="/browse/Mammals">Mammals</a></li> <li><a href="/browse/Plants">Plants</a></li> </ul> <a href="/Geography-Travel">Geography & Travel</a> <ul> <li><a href="/browse/Geography-Travel">Geography & Travel</a></li> </ul> <a href="/Arts-Culture">Arts & Culture</a> <ul> <li><a href="/browse/Entertainment-Pop-Culture">Entertainment & Pop Culture</a></li> <li><a href="/browse/Literature">Literature</a></li> <li><a href="/browse/Sports-Recreation">Sports & Recreation</a></li> <li><a href="/browse/Visual-Arts">Visual Arts</a></li> </ul> <ul> <li><a href="/stories/companion">Companions</a></li> <li><a href="/stories/demystified">Demystified</a></li> <li><a href="/gallery/browse">Image Galleries</a></li> <li><a href="/list/browse">Lists</a></li> <li><a href="/podcasts">Podcasts</a></li> <li><a href="/stories/spotlight">Spotlight</a></li> <li><a href="/summary">Summaries</a></li> <li><a href="/stories/the-forum">The Forum</a></li> <li><a href="/question">Top Questions</a></li> <li><a href="/stories/wtfact">#WTFact</a></li> </ul> <ul> <li><a href="https://kids.britannica.com/">Britannica Kids</a></li> </ul> </div> </div> </header> <div class="bg-navy-dark"> <div class="container-lg p-0 d-flex justify-content-center global-nav-categories-bar overflow-hidden"> <div class="slider js-slider position-relative d-inline-flex align-items-center mw-100 global-nav-slider category-snap-slider"> <div class="slider-container js-slider-container overflow-hidden d-flex font-14 overflow-hidden text-nowrap mx-5"> <a class="nav-bar-category mx-5 category-link-CHATBOT " href="/chatbot">Ask the Chatbot</a> <a class="nav-bar-category mx-5 category-link-QUIZZES " href="/quiz/browse">Games & Quizzes</a> <a class="nav-bar-category mx-5 category-link-HISTORY " href="/History-Society">History & Society</a> <a class="nav-bar-category mx-5 category-link-SCIENCE " href="/Science-Tech">Science & Tech</a> <a class="nav-bar-category mx-5 category-link-BIOS " href="/Biographies">Biographies</a> <a class="nav-bar-category mx-5 category-link-ANIMALS " href="/Animals-Nature">Animals & Nature</a> <a class="nav-bar-category mx-5 category-link-GEOGRAPHY " href="/Geography-Travel">Geography & Travel</a> <a class="nav-bar-category mx-5 category-link-ART " href="/Arts-Culture">Arts & Culture</a> <a class="nav-bar-category mx-5 category-link-PROCON " href="/procon">ProCon</a> <a class="nav-bar-category mx-5 category-link-MONEY " href="/money">Money</a> <a class="nav-bar-category mx-5 category-link-VIDEOS " href="/videos">Videos</a> </div> <button disabled class="prev-button js-prev-button position-absolute btn btn-circle shadow btn-blue " aria-label="Previous"> <span class="material-icons md-24" data-icon="keyboard_arrow_left"></span> </button> <button disabled class="next-button js-next-button position-absolute btn btn-circle shadow btn-blue " aria-label="Next"> <span class="material-icons md-24" data-icon="keyboard_arrow_right"></span> </button> </div> </div> </div> <main> <div class="md-page-wrapper"> <div id="content" class="md-content"> <div class="md-article-container template-index"> <div class="infinite-scroll-container article last"> <script> Object.assign( window.Mendel.config, { "infiniteScrollList": [{"p":1,"t":65560},{"p":1,"t":346378},{"p":1,"t":496799},{"p":1,"t":602836},{"p":1,"t":39468},{"p":1,"t":166204},{"p":1,"t":190922},{"p":1,"t":129419},{"p":3,"t":346177}], "sequence": 1, "topics": {} }); </script> <article class="article-content container-lg qa-content px-0 pt-0 pb-40 py-lg-20 content"> <script class="page-description-json" type="application/json"> { "url": "/topic/binary-relation", "shareUrl": "https://www.britannica.com/topic/binary-relation", "browserTitle": "Binary relation | logic and mathematics", "firstTopicPage": true, "topicId":65560 } </script> <div class="grid gx-0"> <div class="col-auto"> <div class="topic-left-rail md-article-drawer position-relative d-flex border-right-sm border-left-sm open"> <div class="drawer d-flex flex-column open"> <div class="left-rail-section-content"> <div class="topic-left-rail-header text-truncate bg-gray-50 position-relative text-right d-flex align-items-center"> <div class="tlr-title px-20 py-15 text-left"> <em class="material-icons text-gray-400 d-lg-none" data-icon="toc"></em> <a class="font-serif font-weight-bold text-black link-blue" href="https://www.britannica.com/topic/binary-relation">binary relation</a> </div> <button aria-label="Close" class="js-sections-close-button btn-link btn-sm btn d-lg-none position-absolute top-0 p-10 right-0" > <em class="material-icons font-26" data-icon="close"></em> </button> </div> <div class="section-content pl-10 pr-20 pl-sm-50 pr-sm-60 pl-lg-5 pr-lg-10 pt-10 pt-lg-0 bg-gray-50 clear-catfish-ad"> <div class="toc mb-20"> <div class="font-serif font-14 font-weight-bold mx-15 mb-15 mt-20"> Directory </div> <span class="toc-extra-link selected link-gray-900 mt-15"> References </span> </div> <div class="mb-30 tlr-discover"> <div class="text-gray-900 p-5 font-serif font-14 font-weight-bold mx-10 mb-10"> Discover </div> <div class="imagelink-with-image-on-the-side card card-horizontal tlr-img-with-side-link ml-15 link-gray-900 mb-10" > <div class="position-relative card-media" style="flex: 0;"> <a class="ilf-image position-relative" href="/list/13-questions-about-how-the-human-body-works-answered"> <img loading="lazy" src="https://cdn.britannica.com/20/125820-131-D8170E4F/veins-arteries-human.jpg?w=200&h=200&c=crop" alt="pulmonary veins and arteries, circulation, cardiovascular system, human anatomy, (Netter replacement project - SSC)" width="200" height="200" /> </a> </div> <div class="card-body ilf-content"> <a class="font-weight-semi-bold d-block mb-5 font-16 ilf-title" href="/list/13-questions-about-how-the-human-body-works-answered" >13 Questions About How the Human Body Works Answered</a> </div> </div> <div class="imagelink-with-image-on-the-side card card-horizontal tlr-img-with-side-link ml-15 link-gray-900 mb-10" > <div class="position-relative card-media" style="flex: 0;"> <a class="ilf-image position-relative" href="/story/how-many-countries-are-there-in-the-world"> <img loading="lazy" src="https://cdn.britannica.com/27/238527-131-D73B3F08/flagpoles-world-countries.jpg?w=200&h=200&c=crop" alt="Flags of the countries of the world (flagpoles)." width="200" height="200" /> </a> </div> <div class="card-body ilf-content"> <a class="font-weight-semi-bold d-block mb-5 font-16 ilf-title" href="/story/how-many-countries-are-there-in-the-world" >How Many Countries Are There in the World?</a> </div> </div> <div class="imagelink-with-image-on-the-side card card-horizontal tlr-img-with-side-link ml-15 link-gray-900 mb-10" > <div class="position-relative card-media" style="flex: 0;"> <a class="ilf-image position-relative" href="/list/secret-service-code-names-of-11-us-presidents"> <img loading="lazy" src="https://cdn.britannica.com/45/189145-131-45FF672E/Secret-Service-Agent-Earpiece.jpg?w=200&h=200&c=crop" alt="Secret Service Agent Listens To Earpiece" width="200" height="200" /> </a> </div> <div class="card-body ilf-content"> <a class="font-weight-semi-bold d-block mb-5 font-16 ilf-title" href="/list/secret-service-code-names-of-11-us-presidents" >Secret Service Code Names of 11 U.S. Presidents</a> </div> </div> <div class="imagelink-with-image-on-the-side card card-horizontal tlr-img-with-side-link ml-15 link-gray-900 mb-10" > <div class="position-relative card-media" style="flex: 0;"> <a class="ilf-image position-relative" href="/story/how-does-wi-fi-work"> <img loading="lazy" src="https://cdn.britannica.com/18/197118-131-00A7D6AF/Computer-Code-Binary-Internet-Password-Data-Technology.jpg?w=200&h=200&c=crop" alt="Binary Computer Code, Binary Code, Internet, Technology, Password, Data" width="200" height="200" /> </a> </div> <div class="card-body ilf-content"> <a class="font-weight-semi-bold d-block mb-5 font-16 ilf-title" href="/story/how-does-wi-fi-work" >How Does Wi-Fi Work?</a> </div> </div> <div class="imagelink-with-image-on-the-side card card-horizontal tlr-img-with-side-link ml-15 link-gray-900 mb-10" > <div class="position-relative card-media" style="flex: 0;"> <a class="ilf-image position-relative" href="/list/7-nobel-prize-scandals"> <img loading="lazy" src="https://cdn.britannica.com/30/186230-131-03A4CF81/medal-winner-Nobel-Prize-Johannes-Diderik-Van.jpg?w=200&h=200&c=crop" alt="Commemorative medal of Nobel Prize winner, Johannes Diderik Van Der Waals" width="200" height="200" /> </a> </div> <div class="card-body ilf-content"> <a class="font-weight-semi-bold d-block mb-5 font-16 ilf-title" href="/list/7-nobel-prize-scandals" >7 Nobel Prize Scandals</a> </div> </div> <div class="imagelink-with-image-on-the-side card card-horizontal tlr-img-with-side-link ml-15 link-gray-900 mb-10" > <div class="position-relative card-media" style="flex: 0;"> <a class="ilf-image position-relative" href="/list/8-must-see-paintings-at-the-national-gallery-of-art-in-washington-dc"> <img loading="lazy" src="https://cdn.britannica.com/31/166231-131-814754C7/Adoration-of-the-Shepherds-canvas-Giorgione-Samuel.jpg?w=200&h=200&c=crop" alt="Giorgione, Italian, 1477/1478-1510, The Adoration of the Shepherds, 1505/1510, oil on panel, overall: 90.8 x 110.5 cm (35 3/4 x 43 1/2 in.), Samuel H. Kress Collection, 1939.1.289, National Gallery of Art, Washington, D.C." width="200" height="200" /> </a> </div> <div class="card-body ilf-content"> <a class="font-weight-semi-bold d-block mb-5 font-16 ilf-title" href="/list/8-must-see-paintings-at-the-national-gallery-of-art-in-washington-dc" >8 Must-See Paintings at the National Gallery of Art in Washington, D.C.</a> </div> </div> <div class="imagelink-with-image-on-the-side card card-horizontal tlr-img-with-side-link ml-15 link-gray-900 mb-10" > <div class="position-relative card-media" style="flex: 0;"> <a class="ilf-image position-relative" href="/story/why-do-we-give-valentine-cards"> <img loading="lazy" src="https://cdn.britannica.com/48/149348-131-47FD2AE9/American-Valentine-card-1910.jpg?w=200&h=200&c=crop" alt="If You'd Only Be My Valentine, American Valentine card, 1910. Cupid gathers a basket of red hearts from a pine tree which, in the language of flowers represents daring. Valentine's Day St. Valentine's Day February 14 love romance history and society heart In Roman mythology Cupid was the son of Venus, goddess of love (Eros and Aphrodite in the Greek Pantheon)." width="200" height="200" /> </a> </div> <div class="card-body ilf-content"> <a class="font-weight-semi-bold d-block mb-5 font-16 ilf-title" href="/story/why-do-we-give-valentine-cards" >Why Do We Give Valentine Cards?</a> </div> </div> </div> </div> </div> </div> <button class="drawerToggle btn position-sticky border btn-xs btn-white btn-circle rounded-sm d-none d-lg-flex " type="button" aria-label="Toggle Drawer"> <em class="material-icons font-18 text-blue" data-icon="keyboard_arrow_left"></em> </button> </div> </div> <div class="col"> <div class="h-100 ml-0 pr-lg-0"> <div class="h-100 grid gx-0 gx-lg-20"> <div class="h-100 col-sm d-flex flex-column position-relative infinite-pagination-container"> <div class="position-absolute top-0 h-100 w-100"> <div class="toc-sticky-header d-none d-lg-none bg-gray-50 px-10 px-sm-30 position-sticky w-100 "> <div class="toc-sticky-header-inner-container align-items-center d-flex mx-auto h-100 w-100"> <button class="d-flex d-lg-none btn btn-sm btn-white text-blue border-2 border-gray-100 gtm-mobile-toc-header-button js-sections-button d-lg-none p-10"> <em class="material-icons my-n5 md-icon" data-icon="toc"></em> Contents </button> <div class="header-ai-ask-button-placeholder"></div> <div class="header-ai-summarize-button-placeholder"></div> </div> </div> </div> <div class="grey-box w-100 grey-box-middle"> <div class="grey-box-content mx-auto w-100"> <br class="d-block mt-20"> <div class="topic-header"> <div class="d-flex align-items-top justify-content-between"> <div class="d-flex flex-column"> <div> <div> <h1>binary relation</h1></div> </div> <div class="topic-identifier font-16 font-md-20">logic and mathematics</div> </div> </div> <div class="d-none d-sm-flex flex-row"> <div class="mr-10 mb-15"> <button class="ai-ask-button btn border-2 btn-sm js-inline-ai-ask-button btn-outline-red-400 border-red-400"> Ask the Chatbot a Question </button> </div> </div> <div class="toc-header-marker"></div> <button class="ai-ask-button btn border-2 js-header-ai-ask-button d-none btn-sm btn-outline-red-400 border-red-400 mr-0 mr-lg-10 ml-5 ml-sm-10 ml-lg-0 p-10"> Ask the Chatbot a Question </button> <div class="caption alternate-titles">Also known as: dyadic relation</div> </div> <div id="ref1"><section class="index-entries"><h2 class="h3"><strong>Learn about this topic</strong> in these articles:</h2><section><h3>predicate calculi</h3><ul class="list-unstyled"><li><div class="md-assembly-wrapper card-media" data-type="image"><img src="https://cdn.britannica.com/92/41492-004-B3BF20CB/Alfred-North-Whitehead.jpg?w=300" alt="Alfred North Whitehead" data-width="400" data-height="450" loading="lazy"></div> <span class="index-xref">In <a href="https://www.britannica.com/topic/formal-logic/Logical-manipulations-in-LPC#ref534720" class="md-crosslink " data-show-preview="true">formal logic: Classification of dyadic relations</a></span><p class="topic-paragraph"> Consider the closed wff <span class="md-formula">(∀<em>x</em>)(∀<em>y</em>)(ϕ<em>x</em><em>y</em> ⊃ ϕ<em>y</em><em>x</em>),</span> which means that, whenever the relation ϕ holds between one object and a second, it also holds between that second object and the first. This expression is not valid, since it is true for some relations… </p><a class="read-more" href="/topic/formal-logic/Logical-manipulations-in-LPC#ref534720">Read More</a></li></ul></section></section></div><div id="chatbot-root"></div> </div> </div> </div> <aside class="col-md-da-320" data-page="1"></aside> </div> </div> </div> </div> </article> </div> </div> </div> </div> </main> <div id="md-footer"></div> <noscript><iframe src="//www.googletagmanager.com/ns.html?id=GTM-5W6NC8" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript> <script type="text/javascript" id="_informizely_script_tag"> var IzWidget = IzWidget || {}; (function (d) { var scriptElement = d.createElement('script'); scriptElement.type = 'text/javascript'; scriptElement.async = true; scriptElement.src = "https://insitez.blob.core.windows.net/site/f780f33e-a610-4ac2-af81-3eb184037547.js"; var node = d.getElementById('_informizely_script_tag'); node.parentNode.insertBefore(scriptElement, node); } )(document); </script>  <script> window.ap3c = window.ap3c || {}; var ap3c = window.ap3c; ap3c.cmd = ap3c.cmd || []; ap3c.cmd.push(function() { ap3c.init('ZO4siT4cLwnykPnzZWJtd3Byb2Q', 'https://engage.email.britannica.com/'); ap3c.track({v: 0}); }); ap3c.activity = function(act) { ap3c.act = (ap3c.act || []); ap3c.act.push(act); }; var s, t; s = document.createElement('script'); s.type = 'text/javascript'; s.src = "https://engage.email.britannica.com/app.js"; t = document.getElementsByTagName('script')[0]; t.parentNode.insertBefore(s, t); </script> <script class="marketing-page-info" type="application/json"> {"pageType":"Topic","templateName":"INDEX","pageNumber":1,"pagesTotal":1,"pageId":65560,"pageLength":0,"initialLoad":true,"lastPageOfScroll":false} </script> <script class="marketing-content-info" type="application/json"> [] </script> <script src="https://cdn.britannica.com/mendel-resources/3-133/js/libs/jquery-3.5.0.min.js?v=3.133.9"></script> <script type="text/javascript" data-type="Init Mendel Code Splitting"> (function() { $.ajax({ dataType: 'script', cache: true, url: 'https://cdn.britannica.com/mendel-resources/3-133/dist/topic-page.js?v=3.133.9' }); })(); </script> <script class="analytics-metadata" type="application/json"> {"leg":"D","adLeg":"C","userType":"ANONYMOUS","pageType":"Topic","pageSubtype":null,"articleTemplateType":"INDEX","gisted":false,"pageNumber":1,"hasSummarizeButton":false,"hasAskButton":false} </script> <script type="text/javascript"> EBStat={accountId:-1,hostnameOverride:'webstats.eb.com',domain:'www.britannica.com', json:''}; </script> <script type="text/javascript"> ( function() { $.ajax( { dataType: 'script', cache: true, url: '//www.britannica.com/webstats/mendelstats.js?v=1' } ) .done( function() { try {writeStat(null,EBStat);} catch(err){} } ); })(); </script> <div id="bc-fixed-dialogue"></div> </body> </html>

CINXE.COM

Binary relation | logic and mathematics | Britannica