Description

of points of a is derived set.