1.2.7.4.2 Abstraction

Can you write down a mathematical description of this pattern