定义O!=l，这种下定义的方法称为

定义O!=l，这种下定义的方法称为
A、发生法定义
B、外延定义
C、约定式定义
D、公理化定义
【正确答案】：C
【名师解析】:这种定义方法是通过约定来赋予符号特定的含义，因此属于约定式定义。选项C正确。