defines -> denotes