We compare the three main approaches to enclose solutions of IVPs. The
computation of validated bounds always requires the application of an
existence or inclusion theorem. In this paper, these theorems are use
d to investigate some fundamental properties of the corresponding meth
ods.