Interfaces; Initial Abstract Structures