בית יוסף, אורח חיים תמד:ט

ההולך ביום י"ד לדבר מצוה וכו' משנה בפרק אלו עוברין (פסחים מט.) ההולך לשחוט את פסחו ולמול את בנו או לאכול סעודת אירוסין בבית חמיו ונזכר שיש לו חמץ בתוך הבית אם יכול לחזור ולבער ולחזור למצותו יחזור ויבער ואם לאו יבטלנו בלבו וטעמא משום דמדאורייתא בביטול בעלמא סגי ליה אלא שחכמים הצריכו ביעור כמו שנתבאר בסימן תל"א ובמקום ביטול מצוה אוקמוה אדאורייתא: