Sefer HaMitzvot, Positive Commandments 217 ספר המצוות, מצוות עשה רי״ז

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