Skip to content

Commit 5527fb3

Browse files
suragchoscarlevin
authored andcommitted
Update sec_gt-relations.ptx
Fix typos: - "Ler" should be "Let" - (a,a) is an element of the relation R, not the set A.
1 parent 899dc1e commit 5527fb3

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

source/sec_gt-relations.ptx

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -544,11 +544,11 @@
544544

545545
<statement>
546546
<p>
547-
Ler <m>R</m> be a relation on the set <m>A</m>. We say,
547+
Let <m>R</m> be a relation on the set <m>A</m>. We say,
548548
<ul>
549549
<li>
550550
<p>
551-
<m>R</m> is <term>reflexive</term> provided <m>(a,a) \in A</m> for all <m>a \in A</m>.
551+
<m>R</m> is <term>reflexive</term> provided <m>(a,a) \in R</m> for all <m>a \in A</m>.
552552
</p>
553553
</li>
554554
<li>

0 commit comments

Comments
 (0)