Definitions
- object names x, y
- iv( x ) = {{ i | i \mbox{\it is \c{an instance} variable of } x }} methods( x ) = {{ m | m \mbox is a method of x }} properties( x ) = iv(x) \bigcup methods(x)
Read/write properties
- iv( m_x ) = {{ i | m_x \mbox reads or writes i }} methods( i_x ) = {{ m_x | i_x \e iv(m_x) }}
Cardinality
- | S | = \mbox{ the cardinality of the set } S