# Notation

## 1. Sets and Logic
$|A|$: The *cardinality* (size) of finite set $A$.
$script(p)$