Empty String ()
- Definition: The empty string is the unique String with length zero. It functions as an
- Notation:
- Symbol:
- Sometimes also written as or just
"".
- Properties:
- (length is zero).
- For any string : ( is the identity element for string concatenation).