NotElement

Input: NotElement(x, S)
xSx \notin S

Set non-membership.

Last updated: 2020-03-06 00:22:16