கணிதப் பண்பு

கணிதப் பண்பு (property) என்பது எந்தவொரு கணத்திற்கும் பயன்படக்கூடியதொரு பண்பாகும். X என்ற கணத்தின் எல்லா உறுப்புகளுக்கும் வரையறுக்கப்பட்ட பண்பு p ஆனது கீழ்வரும் சார்பாக வரையறுக்கப்படுகிறது:

p: X → {சரி, தவறு}, (பண்பு இருந்தால்: சரி; பண்பு இல்லையென்றால்: தவறு).

மாறாக p பண்பு இருக்கக்கூடிய X இன் உட்கணமாகவும் வரையறுக்கப்படலாம்

{x | p(x) = true}; p என்பது சுட்டுச் சார்பு.

எடுத்துக்காட்டுகள்

• நிகரி
• சேர்ப்புப் பண்பு
• பரிமாற்றுத்தன்மை
• பங்கீட்டுப் பண்பு