The finite representation property fails for composition and   intersection
  The title theorem is proved by example: an algebra of binary relations, closed under intersection and composition, that is not isomorphic to any such algebra on a finite set. 
Roger D. Maddux
math.LO