card { [.x,q.[ where x, q is Real : ( x < q & q is rational ) } = continuum