Definitions for "according to the rule n"
an element of A if and only if n is not an element of A n