A programming language statement that contains one or more identifiers followed by a colon and a statement.