Finite completeness
வரையறுக்கப்பட்ட முழுமை என்பது பின்வருவனவற்றைக் குறிக்கலாம்ஃ முழுமையான வகை, அனைத்து வரையறுக்கப்பட்ட வரம்புகளும் முழுமை கொண்ட ஒரு வகை (வரிசைக் கோட்பாடு) #Finite முழுமை, ஓரளவு வரிசைப்படுத்தப்பட்ட தொகுப்புகளுக்கான நிபந்தனை