Abstract extensionality: on the properties of incomplete abstract interpretations