تجرید:
نظریه اعداد
ساختارها(گروه , حلقه , میدان ...)
رسته ها(Categories)
.
------
تجرید:
انسان
بالا تنه
سر
مغز(If any)
.
-----
تجرید:
انسان
پایین تنه
نیمه ی فوقانی پایین تنه
.