கேள்வி: வெற்றுச் சார்பு என்பது என்ன?
பதில்: கணிதத்தில் வெற்றுச் சார்பு (''empty function'') என்பது வெற்றுக் கணம் ஆட்களமாக கொண்ட சார்பு. ஒவ்வொரு கணம் (கணிதம்) இது போன்ற வெற்றுச் சார்பு ஒன்றேயொன்றுதான் இருக்கும். :f_A: \emptyset \rightarrow A. \, வெற்றுச் சார்பின் வரைபடம் கார்ட்டீசியன் பெருக்கற்பலன் இன் கணம் (கணிதம்)#உட்கணங்கள் இருக்கும். இந்த கார்ட்டீசியன் பெருக்கற்பலன் வெற்றுக்கணம் என்பதால் அதன் உட்கணமும் வெற்றுக்கணமாகவே இருக்கும். ஆட்களம் (கணிதம்) (&empty;) ஒவ்வொரு உறுப்பு ''x'' க்கும் என்றவாறு இணையாட்களம் (கணிதம்) ''A'' இல் ஒரேயொரு உறுப்பு ''y'' இருக்கும் என்பதால் வெற்றுக்கணம் இச்சார்பின் வரைபடமாக அமையும் என்பதும் ஏற்புடையதே. எனினும் வெற்றுக்கணமாக அமையும் ஆட்களத்தில் எந்த உறுப்புகளும் கிடையாது என்பதால் இக்கூற்று வெறுமையான உண்மை (vacuous truth) ஆகும்.