
- discuss functions like 
    is_infinite
    is_empty 
    start_is_close 
    end_is_open

    cardinality ?

