Partial Magma

A set $X$ with a partial binary operator $\dot: X \times X \to X$ is a partial magma.