S-expressions are the fundamental building blocks in Lisp, representing both code and data. They come in two forms:

• Atoms: The simplest elements, such as numbers, symbols, or strings, which evaluate to themselves or hold bound values. • Lists: Collections enclosed in parentheses, where the first element typically denotes a function and the remaining elements are its arguments.

This uniform structure enables powerful metaprogramming and recursive processing in Lisp.