Definition
Same as definition of ``chronon''.