Definition $$Store \triangleq Var \rightharpoonup_{fin} Val$$ A [[Partial Function]] from variable identifiers to values.