A binary variable has implicit bounds of [0, 1].
However, for future reference, the syntax is
model = Model()
@variable(model, x, Bin, lower_bound = 0)
# or
@variable(model, y >= 0, Bin)
The difference is that @RaquelSantos is using the old version of JuMP, where the syntax is just @variable(model, y >= 0, Bin).
julia> using JuMP, JuMPeR
julia> model = RobustModel();
julia> @variable(model, x >= 0, Bin)
x
julia> A = 1:4
1:4
julia> @variable(model, y[A], Bin, lowerbound=0)
y[i] ∈ {0,1} ∀ i ∈ {1,2,3,4}