Describir: Finitely Supported Binary Relations between Infinite Atomic Sets