CEVAP: A belli bir türden bir somut nesne olup, A’nın ait olduğu türe özgü (fonksiyon biçimindeki en üst türden) belirlenebilirleri U, T, B1, ... , Bn olsun. Buna göre A bir yalın somut nesnedir ancak ve ancak öyle u zaman tropu, t zaman tropu ve b1, ... bn nitelik tropları vardır ki, U(A) u , T(A) t, B1 (A) b1, ... , Bn (A) bn ise. Başka bir deyişle, yalın somut nesne, ait olduğu nesne türüne özgü her fonksiyon biçiminde en üst türden belirlenebiliri örnekleyen bir ve yalnız bir trop taşıyan bir somut nesne demektir.