Initional definition