Genel olarak a gibi bir nesne dizgesinin t zaman anında taşıdığı tüm özellikler F1,..., Fk ise, a nesne dizgesinin t zaman anında (yani zaman-diliminde) F1-olma ve... ve Fk-olma nesne-durumunda, kısaca (F1,..., Fk)-olma nesne-durumunda, olduğu söylenir. Gene t zamanının süresi, a’nın bu zaman süresindeki nesne-durumunun değişmesine yol açmayacak ölçüde kısa olduğunu kabul ediyoruz. Buna göre aynı türden nesne dizgelerinin çeşitli zaman anlarındaki nesne-durumları hangi kümeye aittir?