Introducimos e investigamos diseños binarios, un caso especial de -diseños. Nuestra interpretación combinatoria relaciona los -diseños con los arreglos ortogonales binarios. Derivamos un límite general de programación lineal y proponemos como consecuencia un límite universal sobre la cardinalidad mínima posible de -diseños para fijo y . Se investigan los diseños que alcanzan nuestro límite.