Sorry, my answer is not mathematical but analogical.
"An apple is a fruit which is an apple."
Do you think it makes sense? I suggest to go behind real meanings for GATE, TIFR, CMI, ISI questions where each sentence is supposed to have a meaning. NIELIT questions are long way from it though NIELIT aptitude questions are quite decent.