Skip to content

GATE CS Sets, Relations and Functions questions

Practise Sets, Relations and Functions questions for GATE CS. Explore official PYQs and original topic-wise quizzes, check answers and view available solutions. Free, no sign-in.

Subject, topic, year and type filter the full library. Match any choice within a filter, and all selected filter categories. Search, source and sort apply to this page.

20 on this page
Official PYQ2026Engineering MathematicsSets, Relations and FunctionsMSQ · 1 mark
Let RR be a binary relation on the set {1,2,…,10}\{1,2, \ldots, 10\}, where (x,y)∈R(x, y) \in R if the product of xx and yy is square of an integer. Which of the following properties is/are satisfied by RR?
Official PYQ2025Engineering MathematicsSets, Relations and FunctionsMCQ · 1 mark
g(⋅)g(\cdot) is a function from AA to BB, f(⋅)f(\cdot) is a function from BB to CC, and their composition defined as f(g(⋅))f(g(\cdot)) is a mapping from AA to CC. If f(⋅)f(\cdot) and f(g(⋅))f(g(\cdot)) are onto (surjective) functions, which ONE of the following is TRUE about the function g(⋅)g(\cdot) ?
Official PYQ2025Engineering MathematicsSets, Relations and FunctionsMCQ · 2 marks
A={0,1,2,3,…}A=\{0,1,2,3, \ldots\} is the set of non-negative integers. Let FF be the set of functions from AA to itself. For any two functions, f1,f2∈ Ff_{1}, f_{2} \in \mathrm{~F}, we define (f1⊙f2)(n)=f1(n)+f2(n)\left(f_{1} \odot f_{2}\right)(n)=f_{1}(n)+f_{2}(n) for every number nn in AA. Which of the following is/are CORRECT about the mathematical structure …
Official PYQ2025Engineering MathematicsSets, Relations and FunctionsMSQ · 2 marks
​​Let F\mathcal{F} be the set of all functions from {1,…,n}\{1, \ldots, n\} to {0,1}\{0,1\}. Define the binary relation ⩽\leqslant on F\mathcal{F} as follows: ∀f,g∈F,f≼g\forall f, g \in \mathcal{F}, f \preccurlyeq g if and only if ∀x∈{1,…,n},f(x)≤g(x)\forall x \in\{1, \ldots, n\}, f(x) \leq g(x), where 0≤10 \leq 1. Which of the following statement(s) is/are TRUE?
Official PYQ2024Engineering MathematicsSets, Relations and FunctionsNAT · 1 mark
Let AA and BB be non-empty finite sets such that there exist one-to-one and onto functions (i)\text{(i)} from AA to BB and (ii)\text{(ii)} from A×AA \times A to A∪BA \cup B. The number of possible values of |A|\text{|A|} is ___________.
Official PYQ2023Engineering MathematicsSets, Relations and FunctionsMSQ · 2 marks
Let f:A→Bf: A \rightarrow B be an onto (or surjective) function, where AA and BB are nonempty sets. Define an equivalence relation ∼\sim on the set AA as a1∼a2 if f(a1)=f(a2),a_{1} \sim a_{2} \text{ if } f\left(a_{1}\right)=f\left(a_{2}\right), where a1,a2∈Aa_{1}, a_{2} \in A. Let E={[x]:x∈A}\mathcal{E}=\{[x]: x \in A\} be the set of all the equivalence classes under …
Official PYQ2021Engineering MathematicsSets, Relations and FunctionsMCQ · 2 marks
A relation RR is said to be circular if aRba\text{R}b and bRcb\text{R}c together imply cRac\text{R}a. Which of the following options is/are correct?
Official PYQ2021Engineering MathematicsSets, Relations and FunctionsMSQ · 1 mark
Consider the following sets, where n≥2n \geq 2: S1S_1: Set of all n×nn \times n matrices with entries from the set {a,b,c}\{ a, b, c\} S2S_2: Set of all functions from the set {0,1,2,…,n2−1}\{0,1,2, \dots, n^2-1\} to the set {0,1,2}\{0, 1, 2\} Which of the following choice(s) is/are correct?
Official PYQ2021Engineering MathematicsSets, Relations and FunctionsMCQ · 2 marks
For two nn-dimensional real vectors PP and QQ, the operation s(P,Q)s(P,Q) is defined as follows: s(P,Q)=∑i=1n(P[i]⋅Q[i])s(P,Q) = \displaystyle \sum_{i=1}^n (P[i] \cdot Q[i]) Let L\mathcal{L} be a set of 1010-dimensional non-zero real vectors such that for every pair of distinct vectors P,Q∈LP,Q \in \mathcal{L}, s(P,Q)=0s(P,Q)=0. What is the maximum cardinality possible …
Official PYQ2020Engineering MathematicsSets, Relations and FunctionsNAT · 1 mark
Let R\mathcal{R} be the set of all binary relations on the set {1,2,3}\{1,2,3\}. Suppose a relation is chosen from R\mathcal{R} at random. The probability that the chosen relation is reflexive (round off to 33 decimal places) is ______.
Official PYQ2018Engineering MathematicsSets, Relations and FunctionsMCQ · 2 marks
Let NN be the set of natural numbers. Consider the following sets, P:P: Set of Rational numbers (positive and negative) Q:Q: Set of functions from {0,1}\{0,1\} to NN R:R: Set of functions from NN to {0,1}\{0, 1\} S:S: Set of finite subsets of NN Which of the above sets are countable?
Official PYQ2017Engineering MathematicsSets, Relations and FunctionsNAT · 1 mark
The number of integers between 11 and 500500 (both inclusive) that are divisible by 33 or 55 or 77 is ____________ .
Official PYQ2017Engineering MathematicsSets, Relations and FunctionsNAT · 1 mark
Consider the quadratic equation x2−13x+36=0x^2-13x+36=0 with coefficients in a base bb. The solutions of this equation in the same base bb are x=5x=5 and x=6x=6. Then b=b= _____
Official PYQ2016Engineering MathematicsSets, Relations and FunctionsNAT · 1 mark
A function f:N+→N+f: \Bbb{N^+} \rightarrow \Bbb{N^+} , defined on the set of positive integers N+\Bbb{N^+}, satisfies the following properties: f(n)=f(n/2)f(n)=f(n/2) if nn is even f(n)=f(n+5)f(n)=f(n+5) if nn is odd Let R={i∣∃j:f(j)=i}R=\{ i \mid \exists{j} : f(j)=i \} be the set of distinct values that ff takes. The maximum possible size of RR is ___________.
Official PYQ2016Engineering MathematicsSets, Relations and FunctionsMCQ · 1 mark
A binary relation RR on N×N\mathbb{N} \times \mathbb{N} is defined as follows: (a,b)R(c,d)(a, b) R(c, d) if a≤ca \leq c or b≤db \leq d. Consider the following propositions: P:P: RR is reflexive. Q:Q: RR is transitive. Which one of the following statements is TRUE?
Official PYQ2016Engineering MathematicsSets, Relations and FunctionsMCQ · 1 mark
Consider a set UU of 2323 different compounds in a chemistry lab. There is a subset SS of UU of 99 compounds, each of which reacts with exactly 33 compounds of UU. Consider the following statements: Each compound in U \ S reacts with an odd number of compounds. At least one compound in U \ S reacts with an odd number of compounds. Each …
Official PYQ2015Engineering MathematicsSets, Relations and FunctionsMCQ · 1 mark
For a set AA, the power set of AA is denoted by 2A2^{A}. If A={5,{6},{7}}A = \left\{5,\left\{6\right\}, \left\{7\right\}\right\}, which of the following options are TRUE? ∅∈2A\varnothing \in 2^{A} ∅⊆2A\varnothing \subseteq 2^{A} {5,{6}}∈2A\left\{5,\left\{6\right\}\right\} \in 2^{A} {5,{6}}⊆2A\left\{5,\left\{6\right\}\right\} \subseteq 2^{A}
Official PYQ2015Engineering MathematicsSets, Relations and FunctionsMCQ · 1 mark
The binary operator ≠\neq is defined by the following truth table. …
Official PYQ2015Engineering MathematicsSets, Relations and FunctionsMCQ · 1 mark
If g(x)=1−xg(x) = 1 - x and h(x)=xx−1h(x) = \frac{x}{x-1}, then g(h(x))h(g(x))\frac{g(h(x))}{h(g(x))} is:
Official PYQ2015Engineering MathematicsSets, Relations and FunctionsNAT · 1 mark
Let XX and YY denote the sets containing 22 and 2020 distinct objects respectively and FF denote the set of all possible functions defined from XX to YY. Let ff be randomly chosen from FF. The probability of ff being one-to-one is ______.