Abstractions defined. Starting the examples with a entangled state (EPR)