怎样的句子可以叫做下定义?

下定义是一种用简洁明确的语言对事物的本质特征作概括的说明方法。一个下定义的句子通常遵循以下格式：

```

种概念是 属概念的 本质特征。

```

或者

```

种概念叫做 属概念。

```

例如：

无理数（种概念）是无限而不循环的小数（属概念）。

正方形就是各边长相等的矩形（种概念）是几何图形的一种（属概念）。

激光是一种颜色单纯的光（种概念）是光的一种特殊形式（属概念）。

下定义的句子要准确简明，概括性较强，并且揭示事物的本质特征