递归定义是按照下述方法给出概念A的外延的操作性定义方法。概念A的外延当且仅当有限次使用下列两条规则产生：规则一，( )；规则二，( )。