# `label` statement

The constraint `$t label <LABEL>` matches all types `$t` that have the label (name) `<LABEL>`.

## [](#_defining_type_labels)Defining type labels

The `label` keyword is only used when matching on a type label. The type label is created automatically when the type is defined.

```typeql
#!test[schema]
define entity user;
```

## [](#_matching_type_labels)Matching type labels

```typeql
#!test[schema]
match $t label user;
```

[let …​ in](../let-in/index.md) [iid](../iid/index.md)

[Edit on GitHub](https://github.com/typedb/typedb-docs/edit/3.x-development/typeql-reference/modules/ROOT/pages/statements/label.adoc) Edit this page on GitHub.