definition statements (complement,union,intersection,inverse,chain)