-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathproperties.html
More file actions
81 lines (81 loc) · 4.05 KB
/
properties.html
File metadata and controls
81 lines (81 loc) · 4.05 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<title>Properties of Relations</title>
<link rel="stylesheet" type="text/css" href="style.css"/>
</head>
<body id="properties">
<div id="wrapper">
<header>
<div class="container clearfix">
<h1>
<a class="gear" href="index.html" title="Home">
<img alt="gear" src="gear.png">
</a>
</h1>
<h1 class="title">Discrete Structures Tutorials</h1>
<nav>
<ul id="topbar">
<li><a class="navlink" href="index.html">Home</a></li>
<li><a class="navlink" href="binary-search.html">Binary Search</a></li>
<li><a class="navlink" href="about.html">About</a></li>
<li><a class="navlink" href="references.html">References</a></li>
</ul>
</nav>
</div>
</header>
<main>
<div class="container">
<div class="row">
<div class="midcolumn">
<aside class="sidebar">
<ul class="mainmenu">
<li class="heading">Content</li>
<li><a class="sidelink" href="relation.html">What is a Relation?</a></li>
<li><a class="sidelink" href="properties.html">Properties of Relations</a></li>
<li><a class="sidelink" href="tables.html">Relations as Tables</a></li>
<li><a class="sidelink" href="graphs.html">Relations as Graphs</a></li>
<li><a class="sidelink" href="examples.html">Examples</a></li>
</ul>
</aside>
</div>
<div class="row">
<div class="content">
<div class="midcolumn2">
<!-- Main Content -->
<div class="heading">
<h1>Relations Tutorial - Properties of Relations</h1>
<h4>by David Muñoz and Will Ptacek</h4>
</div>
<div class="ptext">
<p><span class="bold">Reflexivity:</span> <br>
When all ordered pairs in a relation have the same element in both positions for
all elements.
<br> In math: for relation r on A, r is
reflexive if:</p>
<div class="formula"><span class="formula">(x,x) ∈ r for any x ∈ A</span></div>
<p><span class="bold">Symmetry:</span><br>
When a relation has the ordered pair (x,y), it also has the ordered pair (y,x)
<br> In math: for relation r on A, r is symmetric if:</p>
<div class="formula"><span class="formula">(x,y) ∈ r => (y,x) ∈ r for any x, y ∈ A</span></div>
<p><span class="bold">Transitivity:</span><br>
When a relation has ordered pairs that can be used to equal others; if (x,y) and
(y,z) are in the relation, then (x,z) must also be in the relation. <br>
In math: for relation r on A, r
⊆ A x A is transitive if:</p>
<div class="formula"><span class="formula">(x,y) ∈ r and (y,z) ∈ r => (x,z) ∈ r for any x, y, z ∈ A</span></div>
</p>
</div>
</div>
<div class="row">
<div class="midcolumn3" id="rightbar"></div>
</div>
</div>
</div>
</div>
</div>
</main>
</div>
</body>
</html>