The finite representation property fails for composition and intersection
arXiv:1604.01386
Abstract
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.