Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics