നിർബന്ധമായ പ്രോപ്പർട്ടികൾ അനുമാനിക്കുന്നതെങ്ങനെ?
മാതൃകയിലെ എല്ലാ ഒബ്ജക്റ്റുകളിലും കാണുന്ന ഫീൽഡാണ് നിർബന്ധമായതായി കണക്കാക്കുന്നത്. ഒരു ഒബ്ജക്റ്റ് മാത്രമാണെങ്കിൽ അതിലെ എല്ലാ ഫീൽഡുകളും നിർബന്ധമായിരിക്കും; കാരണം അവ ഐച്ഛികമാണെന്ന് കാണിക്കുന്ന തെളിവില്ല.