Normal Form. The term "Normal Form" of an Annuity Benefit under this Contact means, (i) if you have a living spouse at your Retirement Date, the Fixed Annuity Benefit payable on the Joint and Survivor Life Annuity Form with your spouse as the contingent annuitant (with 100% of the monthly payment amount continued to your spouse), and (ii) if you do not have a living spouse at the Retirement Date, the Fixed Annuity Benefit payable on the Life Annuity Form.
Normal Form. In this section we develop a normal form for expressions in TSL, which we will use in the completeness proof for SF1. As − SL is a surjective function it has at least one right inverse. Let us pick one and denote it by (−)Π . We thus have (−)Π : Pn(Σ) → TSL such that − SL ◦ (−)Π is the identity on Pn(Σ). The normal form for expressions in TSL is defined as follows:
Normal Form. For all e ∈ TSL the normal form of e, )SL denoted as e, is defined as ( e )Π. Let TSL = {e : e ∈ 7SL}. × × × × × × ∈ × × Intuitively, an expression in normal form is standardised with respect to idempotence, associativity and commutativity. For instance, for a term (a a) (c b) with a, b, c Σ, the chosen normal form, dictated by the chosen right inverse, could be (a b) c, and all terms provably equivalent to (a a) (c b) will have this same normal form. Using Lemma 3.4, we can formalise this in the following two results:
Normal Form. The term “Normal Form” shall mean a single life annuity.
Normal Form. Unless a Member elects an optional form of Basic Pension under Section 9.03, payment thereof shall be in the form of monthly instalments beginning on the last day of the month in which his Retirement Date occurs and continuing thereafter up to and including the month of death, or earlier cessation of disability (as defined in paragraph 5.05(c)). Notwithstanding the foregoing, the Basic Pension payable to a Member who retires on his Normal Retirement Date and retirement income payable under Section 11.02 which is locked-in pension as defined under Applicable Pension Laws, will be payable as above, with a guarantee that not less than sixty
Normal Form. Subject to (a) and (b) below, participants who retire under the Plan on or after October 1, 2002 shall receive a monthly benefit of $40.00 for those who retire with less than 25 years of credited service: $55.00 for those who retire with 25 or more years of credited service. Reductions for optional payment methods will be actuarially determined.
Normal Form. The term "
Normal Form. IF You HAVE No SPOUSE When you retire, you will receive a monthly pension for life. This is guaranteed for months in the event of early death. In other words, ifyou die before you have received pay- ments for five years, the balance of the pay- ments will be made to your designated benefici- ary. If you have a spouse, you will automatically receive an actuarial adjusted pension for your life, with of that pension continuing upon your death to your spouse for the rest of lifetime. (If you live in Manitoba, of your pension will be continued to your spouse.) This benefit can be waived if both you and your spouse complete the prescribed form. (If you are employed in Ontario or Quebec, your spouse alone may waive this benefit).
Normal Form. Payment of the Participant’s Account shall be made in one lump sum unless the Participant is eligible, and elects, to receive installments pursuant to (b) below.
Normal Form. The term "Normal Form" of an Annuity Benefit under this Contract means the Fixed Annuity Benefit payable on the Life Annuity Form, as defined in Sections 3.01 and 1.16, with 10 years of payments guaranteed (10 years certain period). In addition, if the Annuitant dies before the certain period has ended, payments will continue to the beneficiary designated to receive such payments for the balance of the certain period.
