UG Mathematics Booster Test 3 - Types of Relations
๐ Answers are locked once submitted โ results and explanations appear at the end.
QUESTION 1 OF 20
Match the set and condition to its resulting relation status:
| List I | List II |
|---|---|
| 1. A = {1,2,3}, R = {(a,b) : a - b = 10} | a. Universal relation |
| 2. A = Boys school, R = {(a,b) : a is sister of b} | b. Equivalence relation |
| 3. A = {1,2}, R = {(1,2), (2,1), (1,1), (2,2)} | c. Empty relation (Algebraic) |
| 4. A = {1,2}, R = {(a,b) : a + b > 0} | d. Empty relation (Contextual) |
QUESTION 2 OF 20
Arrange the deductive sequence proving R = {(a,b) : |a - b| โฅ 0} on set A={1,2,3,4} is a universal relation:
1. Thus, all pairs (a,b) in A ร A satisfy the condition.
2. Given A = {1,2,3,4}, select any two elements a, b.
3. Therefore, R = A ร A, making it the universal relation.
4. The absolute value of any real number difference |a - b| is always โฅ 0.
QUESTION 3 OF 20
Assertion (A): The relation R = {(1, 2), (2, 3)} on set {1, 2, 3} is reflexive because the elements form an ordered chain.
Reason (R): For a relation to be reflexive on set A, it must contain (x, x) for every element x in A.
QUESTION 4 OF 20
Let R be a relation defined on planar shapes where (X, Y) โ R if Area(X) / Area(Y) = 1. Analytically, why does this enforce symmetry?
QUESTION 5 OF 20
Let R be a relation on independent events where (A, B) โ R if P(A โฉ B) = P(A)P(B). If event A relates to B, and B relates to C, does A necessarily relate to C transitively?
QUESTION 6 OF 20
Let relation R be defined on functions such that (f,g) โ R if
โซf(x)dx > โซg(x)dx
Logically, the transitivity of this relation relies on:
QUESTION 7 OF 20
Relation R evaluates financial time series data. (S1, S2) โ R if the maximum moving average of S1 equals the maximum moving average of S2. Does this definition inherently satisfy reflexivity?
QUESTION 8 OF 20
Consider the set of all points in the first quadrant. R = {(x, y) : y = x}. This relation graphed forms a line bisecting the quadrant. Which relational property is exclusively represented by the points strictly ON this line compared to the whole quadrant set?
QUESTION 9 OF 20
If R is a symmetric relation on a set A, consider its representation as an adjacency matrix. Which of the following properties correctly model R?
I. The matrix is equal to its transpose.
II. The matrix has only 1s on the main diagonal.
III. If entry (i,j)=1, then entry (j,i)=1.
IV. The determinant is always 0.
QUESTION 10 OF 20
Identify the INCORRECT analytical statement about symmetric relations:
QUESTION 11 OF 20
Let relation R on vectors be defined as (A,B) โ R if
A = kB for some scalar k > 0
If (A,B) โ R and (B,C) โ R, what is the analytic proof of transitivity?
QUESTION 12 OF 20
In a mixture problem, relation R specifies (M1, M2) โ R if the ratio of milk to water in M1 is strictly greater than in M2. If M1 is 3:1 (75%), M2 is 1:1 (50%), and M3 is 1:3 (25%). Which analytic observation proves transitivity?
QUESTION 13 OF 20
QUESTION 14 OF 20
QUESTION 15 OF 20
Let A = {1,2,3,4,5,6,7}. R = {(a,b): both are odd or both are even}. Why can no element of the equivalence class {1,3,5,7} relate to {2,4,6}?
QUESTION 16 OF 20
Match the equivalence class representation to its algebraic set-builder form under modulo 3 arithmetic:
| List I | List II |
|---|---|
| 1. Aโ=[0] | a. Set of all integers Z |
| 2. Aโ=[1] | b. {xโZ:x=3r+2, rโZ} |
| 3. Aโ=[2] | c. {xโZ:x=3r, rโZ} |
| 4. AโโชAโโชAโ | d. {xโZ:x=3r+1, rโZ} |
QUESTION 17 OF 20
If sets Aโ,Aโ,Aโ form a valid partition of a set X under an equivalence relation, which of the following strictly hold true analytically?
I. AโโฉAโ=โ
II. AโโชAโโชAโ=X
III. (a,b)โR for aโAโ and bโAโ
IV. Aโ,Aโ,Aโ are mutually disjoint
QUESTION 18 OF 20
If the union of partition subsets equals the original set X, what does this analytically imply about the equivalence relation R mapping the elements?
QUESTION 19 OF 20
Assertion (A): The relation "is congruent to" on triangles is an equivalence relation, but "is similar to" is not, because similar triangles can be different sizes.
Reason (R): Similarity fails the transitive property because scaling is not additive.
QUESTION 20 OF 20
Let R = {(a,b): 4 divides |a - b|} defined on Z. Which of the following elements are in the exact same equivalence class as 3?
Test Complete!
Answer Review
1 Match the set and condition to its resulting relation status:
| List I | List II |
|---|---|
| 1. A = {1,2,3}, R = {(a,b) : a - b = 10} | a. Universal relation |
| 2. A = Boys school, R = {(a,b) : a is sister of b} | b. Equivalence relation |
| 3. A = {1,2}, R = {(1,2), (2,1), (1,1), (2,2)} | c. Empty relation (Algebraic) |
| 4. A = {1,2}, R = {(a,b) : a + b > 0} | d. Empty relation (Contextual) |
aโb=10 impossible in given set "Sister" impossible in boys school Remaining relations satisfy all ordered pairs
Relation 1 is algebraically impossible, so it is an empty relation โ c. Relation 2 is contextually impossible in a boys school โ d. Relation 3 contains all pairs on set {1,2}, making it universal and equivalence โ b fits best. Relation 4 satisfies every pair because sums are always positive โ universal relation โ a.
- Option A โ Swaps contextual and algebraic empty relations incorrectly.
- Option B โ Universal and equivalence relations are mismatched.
- Option D โ Relation 3 is not contextual empty relation.
Used: Option Grouping
Application:
- Classify each relation carefully before matching.
Final Logic:
- Impossible conditions give empty relations; all-valid conditions give universal relation.
"Impossible โ Empty, All valid โ Universal"
2 Arrange the deductive sequence proving R = {(a,b) : |a - b| โฅ 0} on set A={1,2,3,4} is a universal relation:
1. Thus, all pairs (a,b) in A ร A satisfy the condition.
2. Given A = {1,2,3,4}, select any two elements a, b.
3. Therefore, R = A ร A, making it the universal relation.
4. The absolute value of any real number difference |a - b| is always โฅ 0.
Start with arbitrary elements Apply absolute value property Conclude every pair satisfies relation
First choose arbitrary elements a,b from A. Then use the property: \(โฃa-bโฃ\geq 0\) Thus every ordered pair satisfies the condition, implying R=AรA. Hence the relation is universal. Therefore sequence 2โ4โ1โ3 is correct.
- Option A โ Starts with conclusion before assumptions.
- Option B โ Logical proof order is reversed.
- Option D โ Final conclusion appears too early.
Used: Contextual/Tonal Matching
Application:
- Arrange proof steps from assumption to conclusion.
Final Logic:
- Choose elements โ apply property โ conclude universal relation.
"Pick โ Prove โ Conclude"
3 Assertion (A): The relation R = {(1, 2), (2, 3)} on set {1, 2, 3} is reflexive because the elements form an ordered chain.
Reason (R): For a relation to be reflexive on set A, it must contain (x, x) for every element x in A.
Reflexive needs self-pairs Relation lacks (1,1),(2,2),(3,3) Ordered chains do not imply reflexivity
A relation is reflexive only if every element relates to itself: \((x,x)\in Rย โx\in A\) The given relation lacks all self-pairs. Hence Assertion is false. Reason correctly states the definition of reflexive relation. Therefore Option D is correct.
- Option A โ Reason is mathematically correct.
- Option B โ Assertion is not true because self-pairs are missing.
- Option C โ Assertion itself is false.
Used: Elimination
Application:
- Check the formal definition of reflexivity directly.
Final Logic:
- No self-pairs means not reflexive.
"Reflexive means self-related"
4 Let R be a relation defined on planar shapes where (X, Y) โ R if Area(X) / Area(Y) = 1. Analytically, why does this enforce symmetry?
Equality works both ways Reciprocal of 1 remains 1 Hence relation reverses symmetrically
If: \(\frac{Area(X)}{Area(Y)}=1\) then reciprocally: \(\frac{Area(Y)}{Area(X)}=1\) Thus if (X,Y) โ R, then (Y,X) โ R. Hence the relation is symmetric. Therefore Option A is correct.
- Option B โ Non-negativity does not establish symmetry.
- Option C โ Equal areas do not require identical shapes.
- Option D โ The relation satisfies symmetry.
Used: Substitution
Application:
- Reverse the ratio directly to test symmetry.
Final Logic:
- Reciprocal equality preserves the relation.
"1 reversed stays 1"
5 Let R be a relation on independent events where (A, B) โ R if P(A โฉ B) = P(A)P(B). If event A relates to B, and B relates to C, does A necessarily relate to C transitively?
Independence is not transitive Pairwise conditions are insufficient Mutual independence is stronger concept
Even if A is independent of B and B is independent of C, A need not be independent of C. Probability independence does not behave transitively. Therefore pairwise independence alone cannot guarantee transitivity of the relation. Hence Option A is correct.
- Option B โ Multiplication property alone does not ensure transitivity.
- Option C โ Positive probability is irrelevant here.
- Option D โ P(A)=1 does not establish general transitivity.
Used: Extreme Word Filter
Application:
- Reject "always" type claims lacking universal proof.
Final Logic:
- Independence relations are not generally transitive.
"Independent โ Transitive"
6 Let relation R be defined on functions such that (f,g) โ R if
โซf(x)dx > โซg(x)dx
Logically, the transitivity of this relation relies on:
Integrals produce real numbers Greater-than relation is transitive Hence relation inherits transitivity
If: \(\int f(x)dx>\int g(x)dx\) and \(\int g(x)dx>\int h(x)dx\) then by transitivity of inequalities: \(\int f(x)dx>\int h(x)dx\) Thus relation R is transitive. Therefore Option B is correct.
- Option A โ Symmetry is unrelated to inequalities.
- Option C โ Integrals need not evaluate to zero.
- Option D โ Functions need not be constant.
Used: Substitution
Application:
- Translate the relation into real-number inequalities.
Final Logic:
- Transitivity comes from numerical ordering.
"Greater-than stays transitive"
7 Relation R evaluates financial time series data. (S1, S2) โ R if the maximum moving average of S1 equals the maximum moving average of S2. Does this definition inherently satisfy reflexivity?
Every quantity equals itself Same dataset gives same maximum average Hence reflexive property holds
For any dataset S1, its maximum moving average equals itself automatically. Thus: (S1,S1) โ R for every dataset. Therefore the relation satisfies reflexivity. Hence Option C is correct.
- Option A โ Fluctuation does not affect self-equality.
- Option B โ Reflexivity specifically compares elements to themselves.
- Option D โ Positivity is unnecessary.
Used: Contextual/Tonal Matching
Application:
- Apply the self-equality idea of reflexivity.
Final Logic:
- Every dataset matches its own maximum value.
"Anything equals itself"
8 Consider the set of all points in the first quadrant. R = {(x, y) : y = x}. This relation graphed forms a line bisecting the quadrant. Which relational property is exclusively represented by the points strictly ON this line compared to the whole quadrant set?
Points on line satisfy x=y Self-pairs represent identity relation Reflexive property uses identical coordinates
The graph y=x consists of all ordered pairs of the form: \(\left(x,\ x\right)\) These are identity/self-related pairs, which characterize reflexivity. Hence the line y=x represents reflexive or identity elements. Therefore Option D is correct.
- Option A โ Transitivity cannot be visualized by this line alone.
- Option B โ Symmetry involves reversed ordered pairs.
- Option C โ Universal relation covers entire plane region.
Used: Odd One Out
Application:
- Identify the unique property represented by identical coordinates.
Final Logic:
- Line y=x corresponds to self-related elements.
"y=x means self-pairs"
9 If R is a symmetric relation on a set A, consider its representation as an adjacency matrix. Which of the following properties correctly model R?
I. The matrix is equal to its transpose.
II. The matrix has only 1s on the main diagonal.
III. If entry (i,j)=1, then entry (j,i)=1.
IV. The determinant is always 0.
Symmetric matrices equal transpose Reverse entries must match Diagonal entries are not compulsory
A symmetric relation satisfies: if (i,j) exists, then (j,i) also exists. Hence adjacency matrix entries mirror across diagonal: \(A=A^{T}\) Thus statements I and III are correct. Reflexivity is needed for all diagonal 1s, not symmetry alone. Hence Option D is correct.
- Option A โ Symmetry does not require all diagonal entries as 1.
- Option B โ Determinant need not be zero.
- Option C โ Statement IV is mathematically false.
Used: Elimination
Application:
- Separate symmetry conditions from reflexivity conditions.
Final Logic:
- Symmetric relation means mirrored matrix entries.
"Symmetric matrix mirrors itself"
10 Identify the INCORRECT analytical statement about symmetric relations:
Empty relation vacuously satisfies symmetry No violating pairs exist Hence statement A is incorrect
A relation is symmetric if whenever (a,b) โ R, then (b,a) โ R. In an empty relation, no ordered pairs exist to violate symmetry. Therefore empty relations are symmetric vacuously. Hence Option A is the incorrect statement.
- Option B โ Universal relation always contains reversed pairs.
- Option C โ Symmetry does not guarantee reflexivity.
- Option D โ Relation lacks (1,1),(2,2), so transitivity fails.
Used: Extreme Word Filter
Application:
- Check whether "cannot" creates an absolute false claim.
Final Logic:
- No counterexample means empty relation is symmetric.
"Empty relations violate nothing"
11 Let relation R on vectors be defined as (A,B) โ R if
A = kB for some scalar k > 0
If (A,B) โ R and (B,C) โ R, what is the analytic proof of transitivity?
Scalar multiples chain together Product of positive scalars remains positive Hence transitivity holds
If A=kโB and B=kโC with kโ,kโ>0, then substituting gives: \(A=(k_{1}k_{2})C\) Since product of positive scalars remains positive, A is also a positive scalar multiple of C. Hence (A,C) โ R and the relation is transitive. Therefore Option B is correct.
- Option A โ Vector addition does not define the relation.
- Option C โ Dot product condition is unrelated to scalar multiples.
- Option D โ Cross product value does not establish transitivity here.
Used: Substitution
Application:
- Replace B using the second relation directly into the first.
Final Logic:
- Positive scalar multiplication remains preserved through chaining.
"Positive multiples stay positive"
12 In a mixture problem, relation R specifies (M1, M2) โ R if the ratio of milk to water in M1 is strictly greater than in M2. If M1 is 3:1 (75%), M2 is 1:1 (50%), and M3 is 1:3 (25%). Which analytic observation proves transitivity?
Greater-than relation is transitive Ratios preserve numerical ordering Final comparison confirms M1 relates to M3
The relation compares milk concentration percentages. Since: 75% > 50% and 50% > 25%, it follows mathematically that: 75% > 25%. Therefore (M1,M3) โ R. This directly proves transitivity of the relation. Hence Option B is correct.
- Option A โ Volumes are irrelevant to transitivity here.
- Option C โ Numerical ordering still satisfies transitivity.
- Option D โ Adding mixtures does not prove relation properties.
Used: Contextual/Tonal Matching
Application:
- Apply transitivity of strict inequalities to percentages.
Final Logic:
- If a>b and b>c, then a>c.
"Greater-than flows forward"
13
Equivalence classes form partitions Distinct classes are always disjoint Even and odd integers never overlap
An equivalence relation partitions a set into mutually disjoint equivalence classes. Therefore no integer can belong simultaneously to both E (even integers) and O (odd integers). This disjointness follows from the combined reflexive, symmetric, and transitive properties of equivalence relations. Hence Option C is correct.
- Option A โ Symmetry alone cannot guarantee disjoint classes.
- Option B โ Infiniteness of integers is unrelated to overlap.
- Option D โ Empty relation does not generate equivalence classes here.
Used: Elimination
Application:
- Identify which property specifically creates partitions.
Final Logic:
- Equivalence relations always produce disjoint equivalence classes.
"Different classes never overlap"
14
Membership in [0] means relation with 0 Symmetry reverses related pairs Hence (x,0) belongs to R
If x belongs to [0], then 0Rx by definition of equivalence class. Since equivalence relations are symmetric, 0Rx implies xR0. Therefore (x,0) โ R is guaranteed by symmetry. Hence Option A is correct.
- Option B โ Transitivity requires three linked elements.
- Option C โ Universal relation is unrelated here.
- Option D โ Empty relation contradicts existence of equivalence classes.
Used: Contextual/Tonal Matching
Application:
- Use the reverse-pair property of symmetry directly.
Final Logic:
- 0Rx implies xR0 by symmetry.
"Symmetry flips the pair"
15 Let A = {1,2,3,4,5,6,7}. R = {(a,b): both are odd or both are even}. Why can no element of the equivalence class {1,3,5,7} relate to {2,4,6}?
Relation groups numbers by parity Odd-even pairs violate condition Hence classes remain disjoint
The relation requires both numbers to have identical parity: both odd or both even. Any pair consisting of one odd and one even number fails this condition. Therefore no element from {1,3,5,7} can relate to {2,4,6}. Hence Option D is correct.
- Option A โ Sum value is irrelevant to parity relation.
- Option B โ Primality does not affect the relation condition.
- Option C โ Finiteness of the set is unrelated.
Used: Elimination
Application:
- Check the exact condition defining the relation.
Final Logic:
- Odd-even combinations violate same-parity requirement.
"Parity groups stay separate"
16 Match the equivalence class representation to its algebraic set-builder form under modulo 3 arithmetic:
| List I | List II |
|---|---|
| 1. Aโ=[0] | a. Set of all integers Z |
| 2. Aโ=[1] | b. {xโZ:x=3r+2, rโZ} |
| 3. Aโ=[2] | c. {xโZ:x=3r, rโZ} |
| 4. AโโชAโโชAโ | d. {xโZ:x=3r+1, rโZ} |
Modulo 3 creates three classes Multiples of 3 form [0] Their union gives all integers
[0] contains integers of form 3r โ c. [1] contains integers of form 3r+1 โ d. [2] contains integers of form 3r+2 โ b. The union of all three classes equals Z โ a. Thus Option B is correct.
- Option A โ [0] is incorrectly matched with 3r+1 form.
- Option C โ Union cannot equal only one class.
- Option D โ [0] cannot represent numbers of form 3r+2.
Used: Option Grouping
Application:
- Match modulo classes with their remainder forms carefully.
Final Logic:
- Modulo 3 partitions integers by remainders 0,1,2.
"Modulo = remainder groups"
17 If sets Aโ,Aโ,Aโ form a valid partition of a set X under an equivalence relation, which of the following strictly hold true analytically?
I. AโโฉAโ=โ
II. AโโชAโโชAโ=X
III. (a,b)โR for aโAโ and bโAโ
IV. Aโ,Aโ,Aโ are mutually disjoint
Partitions are mutually disjoint Their union equals original set Different classes contain unrelated elements
Partitions generated by equivalence relations satisfy: AโโฉAโ=โ , AโโชAโโชAโ=X, and all subsets are mutually disjoint. Statement III is false because elements from distinct equivalence classes are not related. Hence Option C is correct.
- Option A โ Omits the important mutual disjointness property.
- Option B โ Statement III contradicts partition definition.
- Option D โ Distinct classes cannot contain related elements.
Used: Elimination
Application:
- Test each statement against partition properties individually.
Final Logic:
- Partitions are disjoint and collectively exhaustive.
"Partition = disjoint + complete"
18 If the union of partition subsets equals the original set X, what does this analytically imply about the equivalence relation R mapping the elements?
Partitions cover the entire set Every element appears in one class Classes remain mutually disjoint
If the union of equivalence classes equals X, then every element of X belongs to at least one equivalence class. Since partitions are mutually disjoint, each element belongs to exactly one equivalence class. Therefore Option D is correct.
- Option A โ Equivalence relations do not map everything to zero.
- Option B โ Partition property does not imply universal relation.
- Option C โ Infinity is irrelevant to equivalence classes.
Used: Contextual/Tonal Matching
Application:
- Interpret partition union property directly.
Final Logic:
- Complete union plus disjointness gives unique class membership.
"One element, one class"
19 Assertion (A): The relation "is congruent to" on triangles is an equivalence relation, but "is similar to" is not, because similar triangles can be different sizes.
Reason (R): Similarity fails the transitive property because scaling is not additive.
Similarity is also an equivalence relation Similarity satisfies transitivity Different sizes do not break equivalence
Congruence and similarity are both equivalence relations on triangles. Similarity satisfies reflexive, symmetric, and transitive properties even though triangle sizes may differ. Therefore Assertion is false. The Reason is also false because similarity is transitive under scaling transformations. Hence Option A is correct.
- Option B โ Assertion incorrectly rejects similarity as equivalence relation.
- Option C โ Similarity does satisfy transitivity.
- Option D โ Reason is mathematically incorrect.
Used: Extreme Word Filter
Application:
- Check whether the claim incorrectly excludes similarity relation.
Final Logic:
- Similarity preserves equivalence despite scaling differences.
"Similarity is also equivalence"
20 Let R = {(a,b): 4 divides |a - b|} defined on Z. Which of the following elements are in the exact same equivalence class as 3?
Numbers in same class differ by multiples of 4 Each listed number differs from 3 by 4 or 8 Hence same equivalence class
For numbers equivalent to 3 under the relation: \(4โฃโฃa-3โฃ\) Check Option B: |7โ3|=4, |11โ3|=8, |-1โ3|=4. All are divisible by 4, so these numbers belong to the same equivalence class as 3. Hence Option B is correct.
- Option A โ 4 differs from 3 by 1, not divisible by 4.
- Option C โ 2 differs from 3 by 1.
- Option D โ 1 differs from 3 by 2, not divisible by 4.
Used: Substitution
Application:
- Compute differences with 3 and test divisibility by 4.
Final Logic:
- Equivalent numbers differ by multiples of 4.
"Modulo 4 keeps same remainder"
