What is a virtual link?
  Several authors have recently studied virtual knots and links because they admit invariants arising from R-matrices. We prove that every virtual link is uniquely represented by a link L in S X I, a thickened, compact, oriented surface S, such that the link complement (S X I) - L has no essential vertical cylinder. 
Greg Kuperberg