The above definition takes a particular view on the formalization of the role of the integrity constraints I C {\displaystyle {\mathit {IC}}} as restrictions on the possible abductive solutions.
Наведена дефиниција узима посебан поглед на формализацију улоге ограничења интегритета  I C {\displaystyle {\mathit {IC}}} као ограничења о могућим решењима абдуктива.