theorem :: TOLER_1:14

{} is Tolerance of {} by RELSET_1:12;